Clausal form logic : an introduction to the logic of computer reasoning
Language: English Series: International computer science seriesPublication details: Sydney ; Addison-Wesley ; 1989Edition: Description: xiii,359 p; 24 cmISBN: 978-0-201-12920-5Subject(s): | Computer science and engineering | Expert systems(Computer science) , Artificial intelligence , Logic, Symbolic and mathematical , Reasoning| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB | 681.342:681.3.06Ric | Available | G58A12 | 236180 |
Total holds: 0
There are no comments on this title.