Automation of Reasoning: 2: Classical Papers on Computational Logic 1967 1970 (Symbolic Computation, Band 2)

ISBN 10: 3540120440 ISBN 13: 9783540120445
Published by Springer, 1983
Language: English
Condition: Used - Good Hardcover

Sold by Buchmarie, Darmstadt, Germany

AbeBooks Seller since 21 June 2021

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

View this seller's items


Used - Hardcover

Condition: Used - Good

Price:
£ 69.03
£ 36.27 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket