Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер
Логика и компьютер
Доступно
2 из 3
2 из 3
Книга
Автор:
Логика и компьютер : моделирование рассуждений и проверка правильности программ
Серия: Кибернетика: неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Автор:
Логика и компьютер : моделирование рассуждений и проверка правильности программ
Серия: Кибернетика: неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Заказать 
На полку
Книга
5 Л694
Логика и компьютер : моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров [и др.] ; научный редактор Е. Д. Смирнова ; предисловие И. М. Макарова ; АН СССР. – Москва : Наука, 1990. – 238, [1] с. : ил. – (Кибернетика: неограниченные возможности и возможные ограничения). – Библиогр.: с. 231-234. – На рус. яз. – ISBN 5-02-007156-0 : 0.65.
ББК 32.973
техника = техника : вычислительная техника : программирование
00000001003168 ФИЗН 5 Л694
00000000821743 МАТН 621.38 Л694
00000000821744 МАТН 621.38 Л694
5 Л694
Логика и компьютер : моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров [и др.] ; научный редактор Е. Д. Смирнова ; предисловие И. М. Макарова ; АН СССР. – Москва : Наука, 1990. – 238, [1] с. : ил. – (Кибернетика: неограниченные возможности и возможные ограничения). – Библиогр.: с. 231-234. – На рус. яз. – ISBN 5-02-007156-0 : 0.65.
ББК 32.973
техника = техника : вычислительная техника : программирование
00000001003168 ФИЗН 5 Л694
00000000821743 МАТН 621.38 Л694
00000000821744 МАТН 621.38 Л694