R-Calculus, V: Description Logics R-Calculus, V: Description Logics
    • US$149.99

출판사 설명

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. 

장르
컴퓨터 및 인터넷
출시일
2024년
1월 5일
언어
EN
영어
길이
397
페이지
출판사
Springer Nature Singapore
판매자
Springer Nature B.V.
크기
34.8
MB
The Secret to Human Happiness and Immortality The Secret to Human Happiness and Immortality
2014년
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
2024년
Echocardiography in Adult Congenital Heart Disease Echocardiography in Adult Congenital Heart Disease
2008년
Mathematical Logic Mathematical Logic
2010년
R-Calculus, VI: Finite Injury Priority Method R-Calculus, VI: Finite Injury Priority Method
2024년
Recent Development of Alternating Current Field Measurement Combine with New Technology Recent Development of Alternating Current Field Measurement Combine with New Technology
2024년
R-Calculus, VI: Finite Injury Priority Method R-Calculus, VI: Finite Injury Priority Method
2024년
R-Calculus, II: Many-Valued Logics R-Calculus, II: Many-Valued Logics
2022년
R-Calculus, IV: Propositional Logic R-Calculus, IV: Propositional Logic
2023년