Логические вопросы теории типов данных: [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров

Сохранено в:
Шифр документа: 201428-1,
Вид документа: Продолжающиеся издания
Опубликовано: Новосибирск : Институт математики СО АН СССР , 1986
Физические характеристики: 136 с. : схемы ; 20 см
Язык: Русский
Серия: Вычислительные системы вып. 114
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