|
|
|
|
|
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
|