Операторные преобразования и минимизация полиномиальных представлений булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук
Тип публикации: автореферат диссертации
Год издания: 2007
Ключевые слова: физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов