The application of theorem proving to question-answering systems.
Publisher: Management Information Services
Published: 1970
Place of publication: Detroit
Language: eng
Number of pages: 165
Subjects: Question-answering systems.; Automatic theorem proving.
Notes: Bibliography: p. 161-165.