Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=системы переписывания термов<.>)
Общее количество найденных документов : 1
1.


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

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)