R-Calculus, V: Description Logics
-
- 149,99 €
-
- 149,99 €
Description de l’éditeur
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.
GENRE
Informatique et Internet
SORTIE
2024
5 janvier
LANGUE
EN
Anglais
LONGUEUR
397
Pages
ÉDITIONS
Springer Nature Singapore
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
34,8
Mo
The Secret to Human Happiness and Immortality
2014
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
2024
Recent Development of Alternating Current Field Measurement Combine with New Technology
2024
R-Calculus, VI: Finite Injury Priority Method
2024
R-Calculus, IV: Propositional Logic
2023
R-Calculus, II: Many-Valued Logics
2022