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

Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966: 001 - Hardcover

 
9780387120430: Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966: 001

Buy Used

Condition: Good
Volume 1: Classical Papers on Computational...
View this item

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

Destination, rates & speeds

Other Popular Editions of the Same Title

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

Stock Image

Siekmann, Jorg & Wrightson, Graham (eds)
Published by Springer, 1983
ISBN 10: 0387120432 ISBN 13: 9780387120430
Used Hardcover

Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.

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

hardcover. Condition: Good. Volume 1: Classical Papers on Computational Logic 1957-1966 No dust jacket. Good hardcover with some shelfwear; may have previous owner's name inside. Standard-sized. Seller Inventory # mon0000190568

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Stock Image

Jorg & Wrightson Graham (eds) Siekmann
Published by Springer, 1983
ISBN 10: 0387120432 ISBN 13: 9780387120430
Used Hardcover

Seller: HPB-Red, Dallas, TX, U.S.A.

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

hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_407105860

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket