@cschon

Applications of Automated Reasoning

U. Furbach, und C. Obermaier. KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings , Volume 4314 von Lecture Notes in Computer Science, Springer, (2007)

Links und Ressourcen

BibTeX-Schlüssel:
Furbach:2007fk
Suchen auf:

Kommentare und Rezensionen  
(0)

Es gibt bisher keine Rezension oder Kommentar. Sie können eine schreiben!

Tags


Zitieren Sie diese Publikation