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