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 programmingItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | TUM Main Campus | QA76.9.A96A93 1984 (Browse shelf) | Available | 032612 |
Browsing TUM Main Campus shelves Close shelf browser
QA 76.9.A73M36 1993 Computer System Architecture | QA 76.9 .A73P34 2009 A practical introduction to computer architecture / | QA 76.9 .A73 P377 2007 Computer architecture | QA76.9.A96A93 1984 Automated reasoning | QA 76.9 .A97 The Essence Of Professional Issues In Computing | QA 76.9.B35 Basic Computing Science Data Structures | QA 76.9.B4 Making Computers Work |
Includes index