Логика и компьютер / Российская академия наук. Вып. 5 : Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.]

Сохранено в:
Шифр документа: 1Ок379323,
Вид документа: Книги
Опубликовано: 2004
Физические характеристики: 206, [1] с.
Язык: Русский
Предмет:
ЛОГИКА
ЛОГИЧЕСКИЕ ЗАДАЧИ
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
ПЭВМ
ЭКСПЕРТНЫЕ СИСТЕМЫ
ПРЕДИКАТЫ (мат.)
ЛОГІКА
ЛАГІЧНЫЯ ЗАДАЧЫ
ШТУЧНЫ ІНТЭЛЕКТ
ЭКСПЕРТНЫЯ СІСТЭМЫ
МАТЭМАТЫЧНАЯ ЛОГІКА
ПРЭДЫКАТЫ (мат.)
ВЫЛІЧЭННЕ ВЫКАЗВАННЯЎ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Загрузка

Схожие документы