R-Calculus, V: Description Logics

This fifth volume of the book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Үндсэн зохиолчид:	Li, Wei (Зохиогч), Sui, Yuefei (Зохиогч)
Байгууллагын зохиогч:	SpringerLink (Online service)
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Хэвлэл:	1st ed. 2024.
Цуврал:	Perspectives in Formal Induction, Revision and Evolution,
Нөхцлүүд:	Machine theory. Mathematical logic. Logic programming. Mathematical models. Computer science > Mathematics. Big data. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Logic in AI. Mathematical Modeling and Industrial Mathematics. Mathematics of Computing. Big Data.
Онлайн хандалт:	https://doi.org/10.1007/978-981-99-6460-4
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!