Оценки высоты термов в наиболее общем унификаторе: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / С.-Петерб. гос. ун-т

Сохранено в:
Шифр документа: 2Ад31495,
Вид документа: Авторефераты диссертаций
Автор: Конев, Б. Ю.
Опубликовано: СПб. , 1999
Физические характеристики: 15 с.
Язык: Русский
Предмет:
00000cam0a22000004ia4500
001 BY-NLB-br172536
005 20070615192416.5
100 # # $a 19990210d1999 u y0rusy50 ca 
101 0 # $a rus 
105 # # $a y m 001yy 
109 # # $a aa  $a ac 
200 1 # $a Оценки высоты термов в наиболее общем унификаторе  $e Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук  $e 01.01.06  $f С.-Петерб. гос. ун-т 
210 # # $a СПб.  $d 1999 
215 # # $a 15 с. 
300 # # $a Библиогр.: с. 13-15 (16 назв.) 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar2139408  $a СЕЧЕНИЯ ПОВЕРХНОСТЕЙ  $2 DVNLB 
606 0 # $3 BY-NLB-ar33542  $a ТЕРМАЛЬНЫЕ ВОДЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar31852  $a СТАНДАРТЫЗАЦЫЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17285  $a МАТЭМАТЫЧНАЯ ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar6469  $a ВЫВАД ІНФАРМАЦЫІ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2139411  $a СЯЧЭННІ ПАВЕРХНЯЎ  $2 DVNLB 
606 0 # $3 BY-NLB-ar33543  $a ТЭРМАЛЬНЫЯ ВОДЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar31851  $a СТАНДАРТИЗАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar6468  $a ВЫВОД ИНФОРМАЦИИ  $2 DVNLB 
686 # # $a 27.03.19  $2 rugasnti 
686 # # $a 01.01.06  $2 oksvnk 
700 # 1 $3 BY-SEK-580239  $a Конев  $b Б. Ю.  $g Борис Юрьевич 
801 # 0 $a BY  $b BY-HM0000  $c 19990210  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060316  $g psbo