| Shelfclass_id | 4.B.3 |
| Sortkey | KALMAN, JOHN ARNOLD |
| Authors | John Arnold Kalman |
| Title | Automated Reasoning with Otter |
| Publisher | Rinton Press |
| Year | c2001 |
| Languages | eng |
| Isbn | 1589490045 |
| Description | xv, 536 p. 27 cm. + |
| Record date | 20060713 |
| Location | Princeton, N.J. |
| Keywords | Automatic theorem proving, Artificial intelligence, Computer programming |
| Notes | Includes index |