1
Frontiers of Combining Systems [E-Book] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
2
An introduction to description logic /
Book
Other Personal Name(s): ...Sattler, Uli...
Table of Contents 
3
Knowledge Engineering and Knowledge Management [E-Book] : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. /
4
Automated Reasoning [E-Book]: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /