Automated Deduction — CADE-23: 23rd Inteational Conference on Automated Deduction, Wroclaw, Poland, July 31 — August 5, 2011, Proceedings (Lecture .. / Lecture Notes in Artificial Intelligence)
Hardcover: 528 pages
Publisher: Springer (July 12, 2011)
Language: English
ISBN-10: 3642224377