Use of resolution as a basis of theorem proving in question-answering system (R)
Language: English Series: Publication details: Bombay ; IIT ; 1988Edition: Description: p.x,75; 28cmISBN: Subject(s): Bapat, S.Y | Theses and Dissertations | Artificial intelligence, Programming- AlgorithmsItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:681.3.06:681.342Des | Not for loan | D02B09 | 150331 |
Total holds: 0
There are no comments on this title.