Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Artificial Intelligence, Band 1831).

McAllester, David (Ed.):

ISBN 10: 3540676643 ISBN 13: 9783540676645
Published by Berlin, Heidelberg: Springer-Verlag, 2000
Language: English
Condition: Used - Fine Soft cover

Sold by Antiquariat Bernhardt, Kassel, Germany

AbeBooks Seller since 28 September 2000

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Soft cover

Condition: Used - Fine

Price: £ 17.99 Convert Currency
£ 17.42 shipping from Germany to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket