|
Глушков В.М./Р85 Маккарти, Джон. Крепкий орешек для процедур доказательств [Текст] / Джон Маккарти ; Ин-т кибернетики АН УССР, Отд. научно-техн. информации. - К. : ИК АН УССР, 1966. - 5 с. : рис. - (Станфордский проект искусственного интелекта = Stanford Artificial Intelligence Project ; № 16). - Пер. изд. : A tougn nut for proof procedures / John McCarthyРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: McCarthy, John; Академия наук Украинской ССР (Киев); Институт кибернетики. Отдел научно-технической информации
Видання зберігається у :
Основний фонд
|
|