|
|
|
|
|
00000nam2a22000003ij4500 |
| 001 |
BY-NLB-br0001231865 |
| 005 |
20151020134401.0 |
| 100 |
# |
# |
$a 20151020d1986 |||y0rusy50 ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a SU
|
| 105 |
# |
# |
$a a ||||000yy
|
| 200 |
1 |
# |
$a Логические вопросы теории типов данных
$e [сборник статей]
$f научные редакторы: Ю. Л. Ершов, С. С. Гончаров
$g [редколлегия: Ю. Г. Косарев (главный редактор) и др.]
|
| 210 |
# |
# |
$a Новосибирск
$c Институт математики СО АН СССР
$d 1986
|
| 215 |
# |
# |
$a 136 с.
$c схемы
$d 20 см
|
| 225 |
1 |
# |
$a Вычислительные системы
$e сборник научных трудов
$f Академия наук СССР, Сибирское отделение, Институт математики
$x 0568-661X
$v вып. 114
|
| 320 |
# |
# |
$a Библиография в конце статей
|
| 461 |
# |
1 |
$1 001BY-NLB-br112162
$1 2001
$v Вып. 114
|
| 702 |
# |
1 |
$3 BY-SEK-358968
$a Ершов
$b Ю. Л.
$g Юрий Леонидович
$c доктор физико-математических наук
$f род. 1940
$4 340
|
| 702 |
# |
1 |
$3 BY-SEK-208333
$a Гончаров
$b С. С.
$g Сергей Савостьянович
$c доктор физико-математических наук
$f род. 1951
$4 340
|
| 702 |
# |
1 |
$a Косарев
$b Ю. Г.
$4 651
|
| 801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20150717
$g psbo
|
