R-Calculus, V: Description Logics
-
- USD 149.99
-
- USD 149.99
Descripción editorial
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.
GÉNERO
Informática e Internet
PUBLICADO
2024
5 de enero
IDIOMA
EN
Inglés
EXTENSIÓN
397
Páginas
EDITORIAL
Springer Nature Singapore
VENDEDOR
Springer Nature B.V.
TAMAÑO
34.8
MB
R-Calculus, VI: Finite Injury Priority Method
2024
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, IV: Propositional Logic
2023
R-Calculus, II: Many-Valued Logics
2022
Security, Privacy, and Anonymity in Computation, Communication, and Storage
2021