by Franz Baader
No reviews yet. Be the first!
The description logic handbook
Introduction to Description Logic
Automated Deduction - CADE-19
Term Rewriting & All That
Term Rewriting and Applications