A Proof Theory for Description Logics /
Rademaker, Alexandre
A Proof Theory for Description Logics / by Alexandre Rademaker - London : Springer London, 2012 - x, 106 p. ; 18 cm.
Includes bibliographical references.
9781447140016 (pbk.)
Computer science
Mathematical Logic and Formal Languages
Mathematics of Computing
A Proof Theory for Description Logics / by Alexandre Rademaker - London : Springer London, 2012 - x, 106 p. ; 18 cm.
Includes bibliographical references.
9781447140016 (pbk.)
Computer science
Mathematical Logic and Formal Languages
Mathematics of Computing