Image for Automated Deduction - CADE-20

Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Nieuwenhuis, Robert(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

Read More
Special order line: only available to educational & business accounts. Sign In
£24.99
Product Details
Springer
3540813551 / 9783540813552
Paperback
02/09/2009
156 x 234 mm, 1460 grams