R-Calculus, V: Description Logics
-
- 149,99 US$
-
- 149,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
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 logic.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2024
5 tháng 1
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
397
Trang
NHÀ XUẤT BẢN
Springer Nature Singapore
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
34,8
Mb
The Secret to Human Happiness and Immortality
2014
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
2024
Echocardiography in Adult Congenital Heart Disease
2008
Mathematical Logic
2010
R-Calculus, VI: Finite Injury Priority Method
2024
Recent Development of Alternating Current Field Measurement Combine with New Technology
2024