Lecture Notes in Computer Science: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Lecture Notes in Computer Science: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Nieuwenhuis, Robert
Details
Published by: Springer
Publication Date: 2005-07-14
Format: Paperback
ISBN-13: 9783540280057
DOI: 10.1007/11532231
Dimensions: 235cm x155cm
Pages: 466