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