004.8 Б 241 Баранов, Д. В. (аспирант). Логические уравнения в эквациональных LP-структурах [Текст] / Д. В. Баранов> // Информационные технологии. - 2012. - № 8. - С. 35-42. - Библиогр.: с. 42 (11 назв.) . - ISSN 1684-6400
Рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Кл.слова (ненормированные): логические уравнения -- СПТ -- системы переписывания термов -- термы -- алгебраические модели -- эквациональные LP-структуры -- компьютерная алгебра Аннотация: В статье определяется алгебраическая система с семантикой совокупности правил условной эквациональной теории или условной системы переписывания термов. |