Yazar
Uli Sattler
5 cilt bulundu.
Cilt sonuçları
Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
Uli Sattler · Springer
Sayfa sayısı yok · 2012
Automatic theorem proving / Logic design / Electronic data processing / Artificial intelligence / Software engineering
Intelligent Information Processing VII
Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler · Springer
344 sayfa · 2014
Expert systems (computer science) / Database management / Pattern perception / Information retrieval / Information organization
Description Logic, Theory Combination, and All That
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter · Springer
675 sayfa · 2019
Kategori yok