A Proof Theory for Description Logics
ISBN
9781447140023
A Proof Theory for Description Logics is a mathematical logic and formal languages, mathematics of computing book by Alexandre Rademaker.
Discover A Proof Theory for Description Logics by Alexandre Rademaker, mathematical logic and formal languages.
About the Author
is the author of A Proof Theory for Description Logics. Browse their full catalog on Booklogr.
Explore more books by Alexandre Rademaker →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is A Proof Theory for Description Logics?+
A Proof Theory for Description Logics is a Mathematical Logic and Formal Languages, Mathematics of Computing, Computer science book.
Who wrote A Proof Theory for Description Logics?+
A Proof Theory for Description Logics was written by Alexandre Rademaker.