Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014 (Lecture Notes in Artificial Intelligence, Band 8562)

Demri, Stephane, Deepak Kapur and Christoph (Eds.) Weidenbach:

ISBN 10: 3319085867 ISBN 13: 9783319085869
Published by Springer International Publishing, 2014
Language: English
Condition: Used - Fine Soft cover

Sold by Antiquariat Bernhardt, Kassel, Germany

Heritage Bookseller
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:
£ 46.50
£ 43.16 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket