AUTOMATION OF REASONING
By: Siekmann, Jorg.
Contributor(s): Wrightson, Graham.
Material type:
BookSeries: Symbolic Computation. Publisher: Berlin Springer-Verlag 1983Subject(s): Artificial Intelligence | Cybernetics | Reasoning -- Data ProcessingDDC classification: 001.535 | Au82
| Item type | Current location | Collection | Call number | url | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.535 Au82 (Browse shelf) | Book Request | v.2 | Available | A88786 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 001.535 Ar78y ARTIFICIAL INTELLIGENCE | 001.535 Au82 AUTOMATION OF REASONING | 001.535 Au82 AUTOMATION OF REASONING | 001.535 Au82 AUTOMATION OF REASONING | 001.535 Au82 AUTOMATING KNOWLEDGE ACQUISITION FOR EXPERT SYSTEMS | 001.535 B148d DESIGNING ARTIFICIAL INTELLIGENCE BASED SOFTWARE | 001.535 B223t THEORY OF PROBLEM SOLVING |
There are no comments for this item.