Информатика, вычислительная техника и управление. Диссертация Разработка и анализ алгоритмов для задачи выполнимости и ее обобщений на основе L-разбиения : диссертация ... кандидата физико-математических наук : 05.13.01, Омск, 2006