Конгруэнции на термах и унификация: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.09 / Рос.АН, ВЦ

Сохранено в:
Шифр документа: 2Ад8700,
Вид документа: Авторефераты диссертаций
Автор: Гавриленко, Ю. В.
Опубликовано: М. , 1993
Физические характеристики: 18 с.
Язык: Русский
00000cam0a22000004ia4500
001 BY-NLB-br146969
005 20070615190245.7
100 # # $a 19930101d1993 u y0rusy50 ca 
101 0 # $a rus 
105 # # $a y m 001 y 
109 # # $a aa  $a ac 
200 1 # $a Конгруэнции на термах и унификация  $e Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук  $e 01.01.09  $f Рос.АН, ВЦ 
210 # # $a М.  $d 1993 
215 # # $a 18 с. 
300 # # $a Библиогр.: с. 18 (6 назв.) 
686 # # $a 01.01.09  $2 oksvnk 
700 # 1 $3 BY-SEK-405579  $a Гавриленко  $b Ю. В.  $g Юрий Вячеславович  $c кандидат физико-математических наук 
801 # 0 $a BY  $b BY-HM0000  $c 19930101  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060316  $g psbo