Isbn: 9789819964628 - r-calculus, v: description logics (perspectives in formal induction, revision and evolution) (1 Ergebnisse)

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book series consists of twoparts, 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.…