Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Книга
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и воозможные ограничения
Издательство: Наука, 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. Вычислительные машины электронные – Программирование – Логические основы.
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ОСН | Общий | 3 | 3 | 3 | Заказать |