R-Calculus, V: Description Logics
-
- 149٫99 US$
-
- 149٫99 US$
وصف الناشر
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.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٤
٥ يناير
اللغة
EN
الإنجليزية
عدد الصفحات
٣٩٧
الناشر
Springer Nature Singapore
البائع
Springer Nature B.V.
الحجم
٣٤٫٨
م.ب.
The Secret to Human Happiness and Immortality
٢٠١٤
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
٢٠٢٤
Echocardiography in Adult Congenital Heart Disease
٢٠٠٨
Mathematical Logic
٢٠١٠
R-Calculus, VI: Finite Injury Priority Method
٢٠٢٤
Recent Development of Alternating Current Field Measurement Combine with New Technology
٢٠٢٤