Информатика, вычислительная техника и управление. Диссертация Синтез логических структур большой размерности на основе расширенных булевых матриц : На примере САУ технологическими установками : диссертация ... кандидата технических наук : 05.13.06, Уфа, 2001