Automation of Reasoning An Experimenter's Notebook with Otter Tutorial

Name: Automation of Reasoning An Experimenter's Notebook with Otter Tutorial
Availability: OutOfStock
ISBN: 9780127634203

ISBN-10: 0127634207

ISBN-13: 9780127634203

Edition: 1996

Authors: Larry Wos

List price: $117.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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,…

Book details

List price: $117.00
Copyright year: 1996
Publisher: Elsevier Science & Technology
Publication date: 8/12/1996
Binding: Hardcover
Pages: 434
Size: 5.98" wide x 9.02" long x 0.43" tall
Weight: 1.848
Language: English

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.



(Chapter Headings): A Sterling Pursuit


Scott's Challenge


Provocative Obstacles and the Means for Quashing Them


The Methodology by Example


Lukasiewicz's Challenge


Group Theory


Robbins Algebra


A Biased Guide for Choosing OTTER Options


Seeking Proofs Satisfying a Given Property


Proof Checking


Experimental Potpourri


Research Topics


Additional Useful Notes


A Demanding and Noble Endeavor


Appendices


Subject Index