System Description: E-KRHyper 1.4: Extensions for Unique Names and Description Logic
Maria Paola Bonacina (Hrsg). Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin: Springer 2013 S. 126 - 134
Erscheinungsjahr: 2013
ISBN/ISSN: 978-3-642-38573-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-38574-2_8
| Geprüft | Bibliothek |
