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