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

Jorg H. Siekmann (Editor)

Available from these sellers.

FREE Two-Day Shipping for students on millions of items. Learn more

Product Details

Hardcover: 637 pages
Publisher: Springer-Verlag (March 1983)
Language: English
ISBN-10: 0387120440
ISBN-13: 978-0387120447
Product Dimensions: 9.5 x 6.3 x 3 inches
Shipping Weight: 2.4 pounds
Amazon Best Sellers Rank: #5,873,376 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Textbook Buyback forum Recents problems with Amazon's trade in program	58	6 hours ago
Textbook Buyback forum Directed here to Textbook Buyback Forum by Amazon	2	8 hours ago
Textbook Buyback forum Gift Card Value	2	11 hours ago
Textbook Buyback forum Different Cover, same ISBN	1	11 hours ago
Textbook Buyback forum Books containing highlights	8	11 hours ago
Textbook Buyback forum I have only one ISBN number	1	12 hours ago
Textbook forum Never Again	31	1 day ago
Textbook forum Textbook Buyback	3	2 days ago