Automated Deduction - CADE-22: 22nd Inteational

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