Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер
Логика и компьютер
Книга
Автор:
Логика и компьютер : моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 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 | Заказать |