Информатика, вычислительная техника и управление. Диссертация Машины логического вывода на основе теории параллельных дедуктивных и абдуктивных вычислений : диссертация ... доктора технических наук : 05.13.13, 05.13.11, Киров, 1999