Automated reasoning with Otter /
by Kalman, John Arnold.
Material type:
BookPublisher: Princeton, N.J. : Rinton Press, c2001Description: xv, 536 p. ; 27 cm. + 1 CD-ROM (4 3/4 in.).ISBN: 1589490045.Subject(s): Otter (Computer file) | Automatic theorem proving | Artificial intelligence | Computer programming
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Dhaka University Science Library General Stacks | Non Fiction | 005.13 KAA (Browse shelf) | Available | 475202 |
Includes index.
There are no comments for this item.