Информатика, вычислительная техника и управление. Диссертация Математическое обеспечение синтеза минимальных форм представления переключательных функций для САПР БИС : диссертация ... доктора технических наук : 05.13.12, Санкт-Петербург, 2001