| Shelfclass_id | 4.B.3 |
| Sortkey | WOS, LARRY |
| Authors | Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle |
| Title | Automated Reasoning: Introduction and Applications |
| Publisher | McGraw-Hill |
| Edition | 2nd ed. |
| Year | c1992 |
| Languages | eng |
| Isbn | 007911251X |
| Description | $49.95 xvi, 656 p. 24 cm. + |
| Record date | 20071106 |
| Location | New York |
| Keywords | Automatic theorem proving, Artificial intelligence, Computer programming |
| Notes | System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation. |