Использование логических сетей для формирования баз знаний логического типа - Шаронова, Наталья Валерьевна; Тарловский, Вячеслав Алексеевич; Хайрова, Нина Феликсовна (Херсонський національний технічний університет, 2011)
Keywords: алгебра конечных предикатов; бинарная коньюктивная декомпозиция; линейные логические преобразователи; ответ на запрос