| Shelfclass_id | 4.B.3 |
| Sortkey | WOS, LARRY |
| Authors | Larry Wos |
| Title | The Automation of Reasoning: An Experimenter's Notebook with OTTER Tutorial |
| Publisher | Academic Press |
| Year | c1996 |
| Languages | eng |
| Isbn | 0127634207 |
| Description | (alk. paper) xiv, 443 p. 24 cm. + |
| Record date | 20060714 |
| Location | San Diego |
| Keywords | Automatic theorem proving, Artificial intelligence, Computer programming |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/els032/96003349.html |