Automated reasoning : 33 basic research problems
By: Wos, Larry.
Material type:
BookPublisher: Englewood Cliffs Prentice Hall 1988Description: xiii, 319p.ISBN: 013034552x.Subject(s): Automatic Theorem Proving | Artificial Intelligence | Automated ReasoningDDC classification: 001.535 | W91a
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 001.535 W91a (Browse shelf) | Available | A106978 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
| 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 for this item.