A proof theory for description logics
Bookmark
ShareCopied to clipboardA proof theory for description logics is a book. It was written by Alexandre Rademaker and published by : Springer in 2012.
Key facts
- author: Alexandre Rademaker
- publication date: 2012
- book publisher: : Springer
- book series: Springer briefs in computer science
- book subjects: Proof theory-Data processing, Description logics
See more factsExtract data
Download datasets about A proof theory for description logics:
Dataset of books series that contain A proof theory for description logics:
Dataset of book subjects that contain A proof theory for description logics:
"A proof theory for description logics" is one of the books by Alexandre Rademaker, books by : Springer and 2,617,384 books in our database.
Related
Connected or similar to A proof theory for description logics: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.