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

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:
Furbach:2007fk
search on:

Comments and Reviews  
(0)

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

Tags


Cite this publication