U
Uli Sattler
5 works on record
Works

Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings

Intelligent Information Processing VII

Description Logic, Theory Combination, and All That
Introduction to Description Logic
Introduction to Description Logic
Frontiers of Combining Systems
Frontiers of Combining Systems