Automated Deduction - Cade 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2007)


OUR TOP PICK

$177.77

+ $10.00 postage
Quantity
1 available
Condition
Brand new
Sold by
roxy*books (286688)98.7% positive Feedback
Delivery
Est. 3 Aug - 9 AugFrom Priority Airmail from England, United Kingdom
Returns
14 days money back
Buyer pays return postage