Use of resolution as a basis of theorem proving in question-answering system (R)
Deshpande, P.S.
Use of resolution as a basis of theorem proving in question-answering system (R) - - Bombay IIT 1988 - p.x,75 28cm - .
Bapat, S.Y.
Theses and Dissertations
Artificial intelligence, Programming- Algorithms
043:681.3.06:681.342Des
Use of resolution as a basis of theorem proving in question-answering system (R) - - Bombay IIT 1988 - p.x,75 28cm - .
Bapat, S.Y.
Theses and Dissertations
Artificial intelligence, Programming- Algorithms
043:681.3.06:681.342Des