Gå direkt till innehållet
R-Calculus, V: Description Logics
Spara

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. 

Författare
Wei Li, Yuefei Sui
ISBN
9789819964628
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2025-01-07
Sidor
384