Research Catalog
The automation of reasoning : an experimenter's notebook with OTTER tutorial
- Title
- The automation of reasoning : an experimenter's notebook with OTTER tutorial / Larry Wos.
- Author
- Wos, Larry.
- Publication
- San Diego : Academic Press, c1996.
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 99-1606 | Offsite | |
| Text | Request in advance | *WSE-856 | Offsite |
Details
- Description
- xiv, 434 p.; 24 cm. +
- Subject
- Note
- "Includes OTTER 3.0.4 tutorial disk"--Cover.
- Bibliography (note)
- Includes bibliographical references (p. 419-421) and index.
- System Details (note)
- System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory.
- Call Number
- JSE 99-1606
- ISBN
- 0127634207 (alk. paper)
- 0127634215 (disk)
- LCCN
- 96003349
- OCLC
- 34282675
- Author
- Wos, Larry.
- Title
- The automation of reasoning : an experimenter's notebook with OTTER tutorial / Larry Wos.
- Imprint
- San Diego : Academic Press, c1996.
- System Details
- System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory.
- Bibliography
- Includes bibliographical references (p. 419-421) and index.
- Research Call Number
- JSE 99-1606 [Text]*WSE-856 (Computer disk)