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

Книга
УДК 519 М545

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

519 М545

Тезаурус = ГАСНТИ 27.03
Тезаурус = ГАСНТИ 28.25
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = Кибернетика : теория конечных автоматов и формальных языков

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