Applications of Automated Reasoning

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

Links and resources

BibTeX key:
search on:

Comments and Reviews  

There is no review or comment yet. You can write one!


Cite this publication