Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2011)


OUR TOP PICK

AU $137.00

List price AU $168.99 Save 18%
Quantity
2 available
Condition
Brand new
Sold by
Returns
30 days money back
Buyer pays return postage