Applications of Automated Reasoning
Christian Freksa; Michael Kohlhase; Kerstin Schill (Hrsg). KI 2006: Advances in Artificial Intelligence; 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings. Berlin: Springer 2007 S. 174 - 187
Erscheinungsjahr: 2007
ISBN/ISSN: 978-3-540-69911-8
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-69912-5_14
Geprüft | Bibliothek |
Autoren
Furbach, Ulrich (Autor)
Obermaier, Claudia (Autor)