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