Разработка и исследование оптимизаций логического вывода в системах декларативных продукций Чернойван, Константин Геннадьевич ВАК РФ 05.13.11 Стр. 1 из 12