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