Items related to Automation of Reasoning: Classical Papers on Computational...

Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970: 002 - Hardcover

 
9780387120447: Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970: 002
Hardcover
ISBN 10: 0387120440 ISBN 13: 9780387120447
Publisher: Springer Verlag, 1983

Buy Used

Condition: Good
Good
View this item
9780387120447: Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970: 002
£ 195.32

Convert currency

£ 25 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Search results for Automation of Reasoning: Classical Papers on Computational...

Stock Image

J rg H. Siekmann
Published by Springer-Verlag 0
ISBN 10: 0387120440 ISBN 13: 9780387120447
Used Hardcover

Seller: dsmbooks, Liverpool, United Kingdom

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

hardcover. Condition: Good. Good. book. Seller Inventory # D7S9-1-M-0387120440-3

Contact seller

Buy Used

£ 195.32
Convert currency
Shipping: £ 25
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket