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

$153.00

Free postage
quantity
2 available
condition
Brand new
sold by
delivery
Est. 6 Jan - 18 JanFrom United Kingdom
Returns
30 days money back
Buyer pays return postage