Automated Deduction in Equational Logic and Cubic Curves and over one million other books are available for Amazon Kindle. Learn more

Quantity:

Buy New


	Amazon Prime Free Trial required. Sign up when you check out. Learn More

Buy Used

Used - Good See details

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

Fulfilled by Amazon

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Start reading Automated Deduction in Equational Logic and Cubic Curves on your Kindle in under a minute.

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

Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) [Paperback]

William McCune (Author), R. Padmanabhan (Author)

Price:	$62.95 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	Special Offers Available
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Want it delivered Monday, February 6? Choose One-Day Shipping at checkout. Details

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

Formats	Amazon Price		New from	Used from
Kindle Edition	$50.36		--	--
Paperback	$62.95		--	--

Book Description

Publication Date: January 15, 1996 | Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Book 1095)

This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

Special Offers and Product Promotions

Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)

Product Details

Paperback: 231 pages
Publisher: Springer; 1 edition (January 15, 1996)
Language: English
ISBN-10: 3540613986
ISBN-13: 978-3540613985
Product Dimensions: 9.3 x 5.9 x 0.6 inches
Shipping Weight: 11.2 ounces (View shipping rates and policies)
Amazon Best Sellers Rank: #4,612,029 in Books (See Top 100 in Books)

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

More About the Author

› Visit Amazon's W. McCune Page

Discover books, learn about writers, read author blogs, and more.

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.

Inside This Book (learn more)

Citations (learn more)

51 books cite this book:

See all 51 books citing this book

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.

.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 Global warming is nothing but a hoax and a scare tactic	8523	9 minutes ago
Science forum Insane book prices	3	32 minutes ago
Science forum Why are people here so scientifically illiterate	7010	1 hour ago
Science forum Creationists are trying to rewrite the Laws of Thermodynamics!	866	1 hour ago
Science forum Penetration of Linux in Scientific Computing	19	1 hour ago
Science forum was the moon landing real or fake, and why?	1571	1 hour ago
Textbook forum Never Again	31	1 day ago
Textbook forum Textbook Buyback	3	2 days ago