Л 69 Логика и компьютер : моделирование рассуждений и проверка правильности программ : научное издание. - Москва : Наука, 1990. - 240с. : ил. ; 21см. - 50 000 экз.. - 65 р. Рубрики: Компьютеры (электронно-вычислительные машины) ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |