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 |
Browsing Dhaka University Science Library Shelves , Shelving location: General Stacks , Collection code: Non Fiction Close shelf browser
|
|
|
|
|
|
|
||
| 005.13 FRE Essentials of programming languages / | 005.13 HOC C with assembly language / | 005.13 HOC C with assembly language / | 005.13 KAA Automated reasoning with Otter / | 005.13 KUE Expert .NET micro framework / | 005.13 KUE Expert .NET micro framework / | 005.13 LEB Beginning Perl / |
Includes index.
There are no comments for this item.