The Automation of Reasoning by Larry Wos (1996, Hardcover) 
The Automation of Reasoning by Larry Wos (1996, Hardcover)
Author: Larry Wos
Publisher: Academic Pr
Publication Date: 1996-08-01
Language: English
Format: Hardcover
ISBN-10: 0127634207
ISBN-13: 9780127634203
Product ID: EPID722662
Save this productSell oneWrite a review
Portions of this page Copyright 1995 - 2009 Muze Inc. All rights reserved.
Refine search
Preferences
Distance
Please enter valid zipcode.
Please select a valid popular city.
Please enter valid zipcode or select a valid popular city.
Within miles of ZIP
11 results|Group by condition
View as 
[ Customize view ]
Sort by: 
Price + Shipping to USATime Left

The Automation of Reasoning : Larry Wos (Hardcover, 1996)
perfect condition no writing or highlights
Condition: Like New
Location: USA
 
Watch this item
Buy It Now
$13.13
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Other, 1996)
Condition: Brand New
Location: USA
 
Watch this item
Buy It Now
$14.99
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Hardcover, 1996)
Very Good ** DISC INCLUDED! ** Very Good Condition for being gently read. Better
Condition: Very Good
Location: USA
 
Watch this item
Buy It Now
$20.74
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Other, 1996)
Very Good+ with no dust jacket 0127634207. Text clean, tight, brigh; no dust jacket;
Condition: Very Good
Location: USA
 
Watch this item
Buy It Now
$63.00
+$3.99 shipping		---

The Automation of Reasoning (Hardcover, 1996)
Ex-library, hard cover, disk included, minimal writing, Gray_A005_005, Ready to
Condition: Good
Location: USA
 
Watch this item
Buy It Now
$72.99
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Hardcover, 1996)
Ex-library, hard cover, disk included, minimal writing, Gray_A005_005, Ready to
Condition: Good
Location: USA
 
Watch this item
Buy It Now
$76.99
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Hardcover, 1996)
Excellent customer service. May ship from alternate location depending on your zip
Condition: Brand New
Location: USA
 
Watch this item
Buy It Now
$83.34
+$3.99 shipping		---

Newly listedThe Automation of Reasoning : Larry Wos (Hardcover, 1996)
New 0127634207.
Condition: Brand New
Location: USA
 
Watch this item
Buy It Now
$83.35
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Hardcover, 1996)
Like New NO EXPEDITED SHIPPING! May have remainder marks.
Condition: Like New
Location: USA
 
Watch this item
Buy It Now
$97.26
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Hardcover, 1996)
(NEW TITLE), Size 23cm, pp. 434.
Condition: Brand New
Location: USA
 
Watch this item
Buy It Now
$123.77
+$3.99 shipping		---

The Automation of Reasoning : Larry Wos (Hardcover, 1996)
Fast Shipping ~ Quick Processing ~ BRAND NEW !!!!!!
Condition: Brand New
Location: USA
 
Watch this item
Buy It Now
$126.39
+$3.99 shipping		---
Picture size:
 
 
 
Page 1 of 1
Details
Publication Date:1996-08-01
Editor:Larry Wos

Size
Length:434 pages
Height:9.5 in
Width:6.5 in
Thickness:1.0 in
Weight:28.0 oz

Publisher's Note
This book presents some of the insights, judgements, opinions, and experiences gleaned from more than 30 years of research in automated reasoning. The style and organization are those of an experimenter's notebook, featuring both successes and failures resulting from numerous experiments with one of the world's most powerful software packages for automated reasoning, Bill McCune's OTTER.

This landmark title is the only one of its kind to offer research problems in the field along with guidance in using and implementing what has been called the most powerful general-purpose program for automated reasoning available: Bill McCune's OTTER. The remarkable automated reasoning program is included (on diskette) with the text to allow hands-on understanding of the author's imparted knowledge. Also included within the text are detailed guidelines for using the program, which can be of great assistance in deductive reasoning. The text covers, in depth, how research is actually conducted using an automated reasoning program and based on the author's thirty years of work in the field, and also offers new results in mathematics and in logic that have never before appeared in print.

Key Features
* Includes floppy disk with input files, a user's guide, and the latest version of OTTER software for automated reasoning: conduct your own automated reasoning experiments immediately!
* Features a new strategy, called the resonance strategy, that enables a reasoning program to use steps of one proof to guide its attempt to complete a second proof, often with outstanding success
* Presents material in the form of an experimenter's notebook, with substantial commentary about choices for using an automated reasoning program effectively
* Describes a methodology for finding elegant, shorter proofs-important in applications such as circuit design
* Introduces the hot list strategy which, by focusing on selected information, dramatically enhances the ability of a reasoning program to draw vital conclusions quickly

See an error? Submit a change request

    About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help
    Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
    eBay official time

    Error
    We're sorry, but there's been an error.
    Please try again.