|
|
Глушков В.М./ІР8
Green, Cordell.
Theorem proving by resolution as a basis for question-answering systems [Text] / by Cordell Green ; Stanford research inst. - Edinburgh : Edinburgh univ. press, 1969. - II, 40 l. : fig. - Бібліогр.: с. 37-39
Paper presented at the 4th machine intelligence workshop, Edinburgh, Scotland, August 12-21, 1968Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Stanford research institute
Видання зберігається у :
Основний фонд
|
|