Povej prijatelju o tem izdelku:
R-Calculus, V: Description Logics - Perspectives in Formal Induction, Revision and Evolution Wei Li
R-Calculus, V: Description Logics - Perspectives in Formal Induction, Revision and Evolution
Wei Li
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.
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 7. januarja 2025 |
| ISBN13 | 9789819964628 |
| Založniki | Springer Verlag, Singapore |
| Strani | 384 |
| Dimenzije | 150 × 220 × 10 mm · 604 g |