Каталоги - НБУВ Національна бібліотека України імені В. І. Вернадського

Простий
пошук

Розширений
пошук

Покажчики

Професійний
пошук

Рубрикатор
НБУВ

Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски

Журнали та продовжувані видання

Автореферати дисертацій

Реферативна база даних

Наукова періодика України

Тематичний навігатор

Авторитетний файл імен осіб

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Сортувати знайдені документи за:
автором	назвою	роком видання	видом документа

Пошуковий запит: (<.>A=Маккарти Д$<.>)

Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2

Глушков В.М./ВА406

Автоматы [Текст] : сб. ст. / под ред. К. Э. Шеннона, Дж. Маккарти ; пер. с англ. под ред. А. А. Ляпунова. - М. : Изд-во иностр. лит., 1956. - 403 с. : рис. - Бібліогр. в кінці ст. - Пер. изд. : Automata studies / ed. by C. E. Shannon, J. McCarthy. - Princeton, New Jersey, 1956

Рубрикатор НБУВ:
З815 я43
Тематичні рубрики:
Теорія автоматів

Дод. точки доступу:
Шеннон, Клод Э. (ред.); Маккарти, Джон (ред.); Ляпунов, А. А. (ред.)

Видання зберігається у :
Основний фонд

Глушков В.М./Р85

Маккарти, Джон.

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

Рубрикатор НБУВ:
В124
Тематичні рубрики:
Теорія доведень. Пошук виведення і розв'язності в логіці

Дод. точки доступу:
McCarthy, John; Академия наук Украинской ССР (Киев); Институт кибернетики. Отдел научно-технической информации

Видання зберігається у :
Основний фонд

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача