An edition of The automation of reasoning
(1996)
The automation of reasoning
an experimenter's notebook with OTTER tutorial
by Larry Wos
Share
×Close
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.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
The automation of reasoning: an experimenter's notebook with OTTER tutorial
1996, Academic Press
in English
0127634207 9780127634203
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 419-421) and index.
System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory.
Classifications
External Links
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 5, 2024 | Edited by MARC Bot | import existing book |
| November 23, 2020 | Edited by MARC Bot | import existing book |
| October 10, 2020 | Edited by ImportBot | import existing book |
| August 4, 2020 | Edited by ImportBot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |