| Shelfclass_id | 4.B.3 |
| Sortkey | WOS, LARRY |
| Authors | Larry Wos, Gail W. Pieper |
| Title | Automated Reasoning and the Discovery of Missing and Elegant Proofs |
| Publisher | Rinton Press |
| Year | c2003 |
| Languages | eng |
| Isbn | 1589490231, 99807806478 |
| Description | xv, 372 p. 28 cm. + |
| Record date | 20070326 |
| Location | Paramus, N.J. |
| Nlmed | QA76.9.A96 |
| Keywords | Automatic theorem proving, Artificial intelligence |
| Notes | Disc contains OTTER, software which automates logical reasoning. Also includes numerous input files and a large number of proofs. |