Results
A Proof Theory for Description Logics
© 2012
Soft cover - Print (ISBN: 978-1-4471-4001-6)
Electronic (ISBN: 978-1-4471-4002-3)
View this book on
SpringerLink
Download Product Archive File - 978-1-4471-4002-3