Л 69 Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / Н. А. Алешина, А. М, Анисов, П. И. Быстров. - М. : Наука, 1990. - 238 с. : ил. - (Кибернетика-неограниченные возможности и возможные ограничения)
Рубрики: Логика--логическое мышление--Популярные издания Кл.слова (ненормированные): КИБЕРНЕТИКА Доп.точки доступа: Алешина, Н. А. Анисов, А. М. Быстров, П. И. Свободных экз. нет |