R-calculus, v: description logics
Auteur :
Li, Wei / Sui, Yuefei
Éditeur :
Springer Verlag, Singapore
ISBN :
9789819964628
Date de publication :
7 janv. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
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.Â