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)

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