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