Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер
Логика и компьютер
Доступно
1 из 1
1 из 1
Книга
Автор:
Логика и компьютер : моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Автор:
Логика и компьютер : моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Заказать 
На полку
Книга
681 Л69
Логика и компьютер : моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак ; науч. ред. Е.Д. Смирнова ; предисл. И.М. Макаров ; кол. авт. Академия наук СССР. – Москва : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и возможные ограничения). – Авт. указаны на обороте тит. л. – ISBN 5-02-007156-0 : 0.65.
ГАСНТИ 50.05
681.3.06:510.6
общий = ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
общий = ПРОГРАММИРОВАНИЕ
общий = ЛОГИКА
681 Л69
Логика и компьютер : моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак ; науч. ред. Е.Д. Смирнова ; предисл. И.М. Макаров ; кол. авт. Академия наук СССР. – Москва : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и возможные ограничения). – Авт. указаны на обороте тит. л. – ISBN 5-02-007156-0 : 0.65.
ГАСНТИ 50.05
681.3.06:510.6
общий = ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
общий = ПРОГРАММИРОВАНИЕ
общий = ЛОГИКА
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ОХОФ | 1 | 1 | 1 | Заказать |