|
Глушков В.М./ІР10 Green, Cordell. Application of theorem proving to problem solving [Text] / by Cordell Green ; Stanford research inst. - [Washington] : [s. n.], [1969]. - [21] l. - Бібліогр.: с. 19 Відбиток з : Artificial intelligence group. - Techn. note No. 4. - SRI project 7494. Preprint of a paper to be presented at the Intern. joint conf. on artificil intelligence, Washington, D. C., May 7-9, 1969Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Stanford research institute
Видання зберігається у :
Основний фонд
|
|