32.97 Л 69         Логика и компьютер:Моделирование рассуждений и проверка правильности программ. [Текст]. - М. : Наука, 1990. - 238 с. - 0.65 р.ББК 32.97 Рубрики: Техника Кл.слова (ненормированные): компьютер Экземпляры всего: 1 ОЗ (1) Свободны: ОЗ (1)