Информатика, вычислительная техника и управление. Диссертация Характеризационная теория и практика автоматизированного проектирования функциональных декомпозиций в К-значных логиках : диссертация ... доктора технических наук : 05.13.12, Москва, 2000