A Proof Theory For Description Logics
- ISBN
- 9781447140016
A Proof Theory For Description Logics is a logic, symbolic and mathematical book by Alexandre Rademaker.
Discover A Proof Theory For Description Logics by Alexandre Rademaker, logic, symbolic and mathematical.
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 Logic, symbolic and mathematical book.
Who wrote A Proof Theory For Description Logics?+
A Proof Theory For Description Logics was written by Alexandre Rademaker.