Automated reasoning : 33 basic research problems
Material type:
TextLanguage: English Publication details: Englewood Cliffs Prentice Hall 1988Description: xiii, 319pISBN: - 013034552x
- 001.535 W91a
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 001.535 W91a (Browse shelf(Opens below)) | Available | A106978 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available |
|
No cover image available | No cover image available | ||
| 001.535 Un1 Uncertainty in artificial intelligence | 001.535 W733a2 Artificial intelligence [2nd ed.] | 001.535 W892p PATTERN-DIRECTED INFERENCE SYSTEMS | 001.535 W91a Automated reasoning | 001.535 Z34n NEURAL NETWORK MODELS IN ARTIFICIAL INTELLIGENCE | 001.539 Ac99o On measures of information and their characterizations | 001.539 B572t Theory and practice of error control codes |
Companion Vol. To: Automated Reasoning: Introduction And Applications
There are no comments on this title.
Log in to your account to post a comment.