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

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

Jörg H. Siekmann

 
Image Not Available
Hardcover
ISBN 10: 0387120440 ISBN 13: 9780387120447
Publisher: Springer-Verlag
  • PublisherSpringer-Verlag
  • ISBN 10 0387120440
  • ISBN 13 9780387120447
  • BindingHardcover
  • LanguageEnglish
  • Number of pages637

Buy Used

Condition: Good
Good
View this item
Image Not Available
US$ 252.28

Convert currency

US$ 33.10 shipping from United Kingdom to U.S.A.

Destination, rates & speeds
Free 30-day returns

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

US$ 252.28
Convert currency
Shipping: US$ 33.10
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket