Uli Sattler
Uli Sattler
2 books in the database
Books
Frontiers of Combining SystemsUli Sattler
Frontiers of Combining Systems
Uli Sattler · 2023
Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 ProceedingsUli Sattler
Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
Uli Sattler · 2012
Co-authored books and collections
Books that list Uli Sattler among their authors but not as the lead author: co-written works, collections and compilations.
Intelligent Information Processing VIIZhongzhi Shi
Intelligent Information Processing VII
Zhongzhi Shi · 2014
Description Logic, Theory Combination, and All ThatCarsten Lutz
Description Logic, Theory Combination, and All That
Carsten Lutz · 2019
Introduction to Description LogicFranz Baader
Introduction to Description Logic
Franz Baader · 2017