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