Buy Used

Used - Very Good See details

$11.38 & eligible for FREE Super Saver Shipping on orders over $25. Details

Have one to sell? Sell yours here

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

I own the rights to this title and would like to make it available again through Amazon.

Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966 [Hardcover]

Jorg H. Siekmann (Editor), Graham Wrightson (Editor)

Available from these sellers.

FREE Two-Day Shipping for Students. Learn more

Formats	Amazon Price	New from	Used from
Hardcover	$117.00	--	--
Hardcover, March 1983	--	--	--
	See # more hardcovers
	Show fewer hardcovers

Product Details

Hardcover: 525 pages
Publisher: Springer-Verlag; 1st edition (March 1983)
Language: English
ISBN-10: 0387120432
ISBN-13: 978-0387120430
Product Dimensions: 9.6 x 6.6 x 3 inches
Shipping Weight: 2.2 pounds
Amazon Best Sellers Rank: #4,503,824 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
Science forum Favorite Physical Law	24	7 minutes ago
Science forum Is Al Gore a crook?	9	9 minutes ago
Science forum What is the difference between Lorentz Transformation and the Theory of Special Relativity?	132	12 minutes ago
Science forum Amino acid biosynthesis	10	16 minutes ago
Textbook Buyback forum Name on book	0	6 hours ago
Textbook Buyback forum Ebooks	6	7 hours ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	168	23 hours ago
Textbook forum Never buy school textbooks. Download them to your reading device or computer	3	3 days ago