Wos
Academic Press
Hardback
434
35278
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. Includes key features such as: floppy disk with input files, a user's guide, and the version of Otter software for automated reasoning: conduct your own automated reasoning experiments immediately! This book 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
Academic Press
Hardback
434
35278
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. Includes key features such as: floppy disk with input files, a user's guide, and the version of Otter software for automated reasoning: conduct your own automated reasoning experiments immediately! This book 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