Image for R-Calculus, V: Description Logics

R-Calculus, V: Description Logics

Part of the Perspectives in Formal Induction, Revision and Evolution series
See all formats and editions

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
Special order line: only available to educational & business accounts. Sign In
£159.99
Product Details
Springer Verlag, Singapore
9819964598 / 9789819964598
Hardback
06/01/2024
Singapore
English
384 pages : illustrations (black and white, and colour)
24 cm