Электронный каталог

Книга
УДК 510 М545

Метод резолюций в логике предикатов как основа для языка программирования Пролог : Методические указания по курсу "Основы математического моделирования" / А. А. Набебин, М. В. Захарьящев, Моск. энерг. ин-т (МЭИ) . – М. : Изд-во МЭИ, 1990 . – 76 с.

510 М545

Тезаурус = ГАСНТИ 27.03.19
Тезаурус = ГАСНТИ 50.05.09
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций

Уч.аб. - 26 экз.
Кх - 4 экз.