Gå direkte til innholdet
R-Calculus, V: Description Logics
Spar

R-Calculus, V: Description Logics

This 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. 

Forfatter
Wei Li, Yuefei Sui
Opplag
2024 ed.
ISBN
9789819964598
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
6.1.2024
Antall sider
384