Automated Deduction: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2009)


OUR TOP PICK

$174.69

+ $10.00 postage
Quantity
2 available
Condition
Brand new
Sold by
roxy*books (283409)98.7% Positive Feedback
Delivery
Est. 6 Jul - 12 JulFrom United Kingdom
Returns
14 days money back
Buyer pays return postage