Кравец Наталья Сергеевна. Алгебры предикатных операций и их применение в системах искусственного интеллекта: Дис... канд. техн. наук: 01.05.02 / Харьковский гос. технический ун-т радиоэлектроники. - Х., 2001. - 172л. - Библиогр.:л.138-146.