Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Доступно
3 из 3
3 из 3
Книга
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и воозможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и воозможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Заказать 
На полку
Книга
32.973 Л69
1748466 ОСН 1755740 ОСН 1835177 ОСН
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, [и др.]. – Москва : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и воозможные ограничения)
ISBN 5-02-007156-0.
ББК 32.973
-- 1. Вычислительные машины электронные – Программирование – Логические основы.
32.973 Л69
1748466 ОСН 1755740 ОСН 1835177 ОСН
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, [и др.]. – Москва : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и воозможные ограничения)
ISBN 5-02-007156-0.
ББК 32.973
-- 1. Вычислительные машины электронные – Программирование – Логические основы.