The application of theorem proving to question-answering systems
著者
書誌事項
The application of theorem proving to question-answering systems
（Outstanding dissertations in the computer sciences）
Garland Pub., 1980
大学図書館所蔵 全12件
注記
Title on spine: Theorem proving for question-answering systems
Originally presented as the author's thesis, Stanford, 1969
Includes bibliographical references