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

Книга
УДК 621.398 М545

Методические указания и описания лабораторных работ по курсу "Математическая логика": Основы языка Пролог / Е. Ю. Головина, Моск. энерг. ин-т (МЭИ) . – 1996 . – 35 с.

621.398 М545

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

Кх - 1 экз.
Учз - 2 экз.