Lecture Notes in Computer Science: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Lecture Notes in Computer Science: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Pfenning, Frank
Details
Published by: Springer
Publication Date: 2007-07-05
Format: Paperback
ISBN-13: 9783540735946
DOI: 10.1007/978-3-540-73595-3
Dimensions: 235cm x155cm
Pages: 524