007 Л69         Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ. - Москва : Наука, 1990. - 240 с. : ил. - (Кибернетика) УДК 007 MeSH-головна: ЛОГИКА -- LOGIC КОМПЬЮТЕРЫ -- COMPUTERS Примірників всього: 1 КСХ (1) Вільні: КСХ (1)