Automated Deduction – CADE-22: 22nd Inteational Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in .. / Lecture Notes in Artificial Intelligence)
Hardcover: 504 pages
Publisher: Springer (July 10, 2009)
Language: English
ISBN-10: 3642029582