|
|
|
|
|
00000cam2a22000003ij4500 |
| 001 |
BY-NLB-br0001231744 |
| 005 |
20151020112528.0 |
| 100 |
# |
# |
$a 20151020d1995 |||y0rusy50 ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a RU
|
| 105 |
# |
# |
$a a ||||001yy
|
| 200 |
1 |
# |
$a Теория вычислений и языки спецификаций
$e [сборник статей]
$f научные редакторы: Ю. Л. Ершов, С. С. Гончаров
$g [редколлегия: Н. Г. Загоруйко (главный редактор) и др.]
|
| 210 |
# |
# |
$a Новосибирск
$c Институт математики СО РАН
$d 1995
|
| 215 |
# |
# |
$a 213 с.
$c схемы, табл.
$d 20 см
|
| 225 |
1 |
# |
$a Вычислительные системы
$e сборник научных трудов
$f Российская академия наук, Сибирское отделение, Институт математики имени С. Л. Соболева
$x 0568-661X
$v вып. 152
|
| 320 |
# |
# |
$a Библиография в конце статей
|
| 320 |
# |
# |
$a Авторский указатель: с. 209―213
|
| 461 |
# |
1 |
$1 001BY-NLB-br112162
$1 2001
$v Вып. 152
|
| 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 |
$3 BY-CNB-a319373
$a Загоруйко
$b Н. Г.
$g Николай Григорьевич
$c доктор физико-математических наук
$4 651
|
| 801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20150717
$g psbo
|
