Automated reasoning introduction and applications Larry Wos ... [et al.].
Material type:
TextPublisher: Englewood Cliffs, N.J. : Prentice-Hall, c1984Description: xiv, 482 p. : ill. ; 24 cmISBN: 0130544531; ; 0130544469 (pbk.)Subject(s): Automatic theorem proving.; Artificial intelligence.; Computer programming
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
TUM Main Campus | QA76.9.A96A93 1984 (Browse shelf) | Available | 032612 |
Includes index