Подробное описание документа

Метакидес Г., Нероуд А.
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.: с. 275-278. - ISBN 5-88688-037-2.

УДК
510.6 Математическая логика

Предметные рубрики

Математическая логика

Программирование для ЭВМ логическое

Общее кол-во в фондах
1 экз.

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.313, ГУК, ауд. 313