Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер
Логика и компьютер
Доступно
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