Главная страница

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>U=510.565(043)<.>)
Общее количество найденных документов : 1
1.
Ар14-235

    Баранов, Д. В.
    Эквациональные LP-структуры и их приложения в системах переписывания [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / Д. В. Баранов. - М., 2013. - 15 с. - Библиогр.: с. 14-15 (11 назв.). - 100 экз.
В надзаг.: ФГБОУ МГУ им. М.В. Ломоносова

ГРНТИ
27.03.17
УДК
510.565(043)

Кл.слова (ненормированные):
теория исчислений -- системы переписывания термов

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