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