Product details
ISBN
9789819964604
Published
2024
Publisher
Springer Nature
Language
Product language
Engelsk
Format
Product format
Digital bok
Author
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.
Read more
Product details
ISBN
9789819964604
Published
2024
Publisher
Springer Nature
Language
Product language
Engelsk
Format
Product format
Digital bok
Author