Applications of Automated Reasoning | BibSonomy
BibSonomy now supports HTTPS. Switch to HTTPS.

Applications of Automated Reasoning

, and . 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)

Documents: true

Links and resources

BibTeX key:
search on:

Comments and Reviews  

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


Cite this publication