681 Л 694 Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.]; науч. ред. Е. Д. Смирнова; авт. предисл. И. М. Макаров ; АН СССР. - Москва : Наука, 1990. - 239 с. : ил. - (Кибернетика - неограниченные возможности и возможность ограничения). - Библиогр.: с. 231-235. - авт. указаны на обороте тит. л. - ISBN 5-02-007156-0 : 0.65 р., 0.65 р.
Кл.слова (ненормированные): ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ПРОГРАММИРОВАНИЕ) -- ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ЛОГИЧЕСКИЕ ОСНОВЫ) Доп.точки доступа: Алешина, Наталья Альбертовна; Анисов, А. М.; Быстров, П. И.; и др.; Смирнова, Елена Дмитриевна \науч. ред.\; Макаров, И. М. \авт. предисл.\; Академия наук СССР Экземпляры всего: 3 Х (1), АБН (2) Свободны: Х (1), АБН (2) |