Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

Volltext über DOI/URN

GeprüftBibliothek

Autoren


Furbach, Ulrich (Autor)
Obermaier, Claudia (Autor)

Verknüpfte Personen