Вид документа : Статья из журнала Шифр издания : Автор(ы) : Баранов Д. В. (аспирант) Заглавие : Логические уравнения в эквациональных LP-структурах Серия: Интеллектуальные системы Место публикации : Информационные технологии. - 2012. - № 8. - С.35-42. - ISSN 1684-6400 (Шифр inft/2012/8). - ISSN 1684-6400 Примечания : Библиогр.: с. 42 (11 назв.) УДК : 004.8 ББК : 32.813 Предметные рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Ключевые слова (''Своб.индексиров.''): логические уравнения--спт--системы переписывания термов--термы--алгебраические модели--эквациональные lp-структуры--компьютерная алгебра Аннотация: В статье определяется алгебраическая система с семантикой совокупности правил условной эквациональной теории или условной системы переписывания термов. |