Логика и компьютер [Текст]

 

QR-код документа

Оценок: 0

32.81
Л69

    Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др. - М. : Наука, 1990. - 240 с. - ISBN 5020071560 : 0р.65к.

ББК 32.81

Рубрики: ТЕХНИЧЕСКИЕ НАУКИ

   Информатика

Кл.слова (ненормированные):
Логика -- Формула
Экземпляры всего: 5
2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)

Авторизуйтесь для получения дополнительных услуг

Похожие издания по классификации

Информатика и управление [Текст]
Искусственный интеллект:В 3 кн. [Текст] . Кн.1. Системы общения и экспертные системы
Искусственный интеллект [Текст]
Искусственный интеллект: В 3-х кн. [Текст] . Кн.2. Модели и методы
Информатика и научно-технический прогресс [Текст]