Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Процай Наталія Тимофіївна ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2011. - 20 с. : рис.