THE COMPUTER MODELLING OF MATHEMATICAL REASONING
By: Alan, Bundy.
Material type:
BookPublisher: London Academic Press 1983Description: xiv,322.Subject(s): Artificial IntelligenceDDC classification: 001.535 | B882c
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.535 B882c (Browse shelf) | Book Request | Available | A89468 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 001.535 B643lE ARTIFICIAL INTELLIGENCE | 001.535 B816v VISION AND INFORMATION PROCESSING FOR AUTOMATION | 001.535 B834k KNOWLEDGE ACQUISITION | 001.535 B882c THE COMPUTER MODELLING OF MATHEMATICAL REASONING | 001.535 C362b Change of representation and inductive bias | 001.535 C42e ENTITY-RELATIONSHIP APPROACH | 001.535 C739 COMPUTATIONAL MODELS OF DISCOURSE |
Bibliography : P. 312-317
There are no comments for this item.