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
ISBN
9789819964628
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
7.1.2025
Antall sider
384