The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

0 avg rating
( 0 ratings by GoodReads )
 
9780127634203: The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

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

"synopsis" may belong to another edition of this title.

From the Back Cover:

This book presents some of the insights, judgments, 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.

About the Author:

Larry Wos received his Ph.D. in Mathematics from the University of Illinois. He is now Senior Mathematician in the Mathematics and Computer Science division of Argonne National Laboratory, where he has worked for more than 30 years. Other books by the author include Automated Reasoning: Introduction and Applications and Automated Reasoning: 33 Basic Research Problems.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 117.00
US$ 57.43

Convert Currency

Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Wos, Larry
Published by Academic Press (1996)
ISBN 10: 0127634207 ISBN 13: 9780127634203
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Academic Press, 1996. Hardcover. Book Condition: New. 1. Bookseller Inventory # DADAX0127634207

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.43
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Wos, Larry
ISBN 10: 0127634207 ISBN 13: 9780127634203
New Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97801276342031.0

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 120.29
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds