R-Calculus, V: Description Logics - Yuefei Sui,Wei Li
-35% koodilla BOOKS
Toimitus 17-23 arkipäivässä
30 päivän palautusoikeus
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.
Saatat myös pitää
Kuvaus
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.
Lisätietoja
| Kirjoittaja | Yuefei Sui, Wei Li |
|---|---|
| Julkaisija | Springer Nature Singapore |
| Series | Perspectives in Formal Induction, Revision and Evolution |
| Julkaisuvuosi | 2024 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9789819964598 |