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

£74.95

Quantity
2 available
Condition
New
Sold by
Business seller: books2aw (92369)99.6% positive Feedback
Returns
Buyer pays return postage

All listings for this product