Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Green C$<.>) |
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
|
1. | Глушков В.М./ІР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
Видання зберігається у :
Основний фонд
| 2. | THEOREM PROVING BY RESOLUTION AS A BASIS FOR QUESTION-ANSWERING SYSTEMS (1969)
| 3. | ІВ224379 Green, Claudia. Structural and functional characterization of neuronal network changes with MRI in the mouse brain [Text] : diss. / Claudia Green ; Mathematisch-Naturwissenschaftlichen Fak. der Univ. zu Köln. - Köln, 2017. - VI, 179, 5 p. : fig. - Бібліогр.: с. 159-179Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Universität zu Köln (Köln). Mathematisch-Naturwissenschaftlichen Fakultät
Видання зберігається у :
Основний фонд
| 4. | Глушков В.М./ІР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
Видання зберігається у :
Основний фонд
|
|
|