1. Алешина, Н. А. Логика и компьютер : Моделирование рассуждений и проверка правильности прогр. / Н. А. Алешина и др. ; науч. ред. Е. Д. Смирнова ; авт. предисл. И. М. Макаров. — (Серия "Кибернетика - неограниченные возможности и возможные ограничения"). — ББК 32.973.2-047Издательство: М. : Наука, 1990Физическая характеристика: 238,[1] c. : ил.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
2.  Логика и компьютер : моделирование рассуждений и проверка правильности программ / [Н. А. Алешина и др. ; научный редактор Е. Д. Смирнова] ; Академия наук СССР. — (Кибернетика ― неограниченные возможности и возможные ограничения). — ББК 32.971.3. — ББК 32.973Издательство: Москва : Наука, 1990Физическая характеристика: 238, [1] с. : ил. ; 20 см

Действия: Заказать Добавить в корзину
Языки: