Automation of reasoning. Classical papers on computational logic, 1957-1970

[SIEKMANN (J.) and WRIGHTSON (G.)]

Publication Date: 1983
Condition: Used - Near fine Hardcover

Sold by Librairie Philosophique J. Vrin, Paris, France

AbeBooks Seller since May 16, 2003

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

View this seller's items


Used - Hardcover

Condition: Used - Near fine

Price:
US$ 83.94
US$ 25.57 shipping
Ships from France to U.S.A.

Quantity: 1 available

Add to basket