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 | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 001.535 Au82 (Browse shelf) | v.1 | Available | A88785 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
| 001.535 Al53n Natural language understanding | 001.535 Ar78 Artificial intelligence | 001.535 Ar78 ARTIFICIAL INTELLIGENCE, TOOLS TECHNIQUES, AND APPLICATIONS | 001.535 Au82 AUTOMATION OF REASONING | 001.535 B223a Artificial intelligence | 001.535 B643sE Expert systems | 001.535 C214a Artificial intelligence techniques |
There are no comments for this item.