Produktdetaljer
ISBN
9789819964604
Publisert
2024
Utgiver
Springer Nature
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter
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.
Les mer
Produktdetaljer
ISBN
9789819964604
Publisert
2024
Utgiver
Springer Nature
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter