Связанные научные тематики:
тег
 
тег
 




 Найдено научных статей и публикаций: 1, для научной тематики: Формальная система


1.

Разработка подсистемы синтеза управляющих алгоритмов на базе исчисления уа (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - ИрВЦ СО РАН , 1994
описано исчисление управляющих алгоритмов...