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
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
| August 5, 2024 | Edited by MARC Bot | import existing book |
| August 4, 2020 | Edited by ImportBot | import existing book |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |