Wow! eBookAutomated Deduction — CADE-24: 24th Inteational Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture .. / Lecture Notes in Artificial Intelligence)
Hardcover: 470 pages
Publisher: Springer (May 16, 2013)
Language: English
ISBN-10: 3642385737
