Найдено научных статей и публикаций: 1, для научной тематики: Формальная система
1.
Калентьев А.А., Тюгашев А.А.
- ИрВЦ СО РАН , 1994
описано исчисление управляющих алгоритмов...
описано исчисление управляющих алгоритмов
Всероссийская научная школа“Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности”:Сб.трудов. Ч4.-Иркутск, ИрВЦ СО РАН, 1994