Automated Deduction - CADE-21: 21st Inteational

Automated Deduction – CADE-21: 21st Inteational Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in .. / Lecture Notes in Artificial Intelligence)

Hardcover: 522 pages

Publisher: Springer (July 5, 2007)

Language: English

ISBN-10: 3540735941