copydeleteadd this publication to your clipboard

• community post
• history of this post
• URL
• DOI
• BibTeX
• EndNote
• APA
• Chicago
• DIN 1505
• Harvard
• MSOffice XML

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)