Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер
Логика и компьютер
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
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