The application of theorem proving to question-answering systems
By: Cordell Green.
Series: Outstanding dissertations in the computer sciences
Publisher: Garland Pub.
Published: 1980
Place of publication: New York
Language: eng
Number of pages: 162
Subjects: Question-answering systems.; Automatic theorem proving.
Other titles: Theorem proving for question-answering systems.
Notes: Includes bibliographical references.
Title on spine: Theorem proving for question-answering systems.
Originally presented as the author's thesis, Stanford, 1969.