Логика и семантическое программирование: [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Новосибирск : Институт математики СО РАН , 1992 |
| Физические характеристики: |
198 с. : ил., табл. ; 20 см
|
| Язык: | Русский Английский |
| Серия: |
Вычислительные системы
вып. 146 |
| 00000nam2a22000003ij4500 | |||
| 001 | BY-NLB-br0001234012 | ||
| 005 | 20151027094620.0 | ||
| 100 | # | # | $a 20151027d1992 |||y0rusy50 ca |
| 101 | 0 | # | $a rus $a eng |
| 102 | # | # | $a RU |
| 105 | # | # | $a a ||||000yy |
| 200 | 1 | # | $a Логика и семантическое программирование $e [сборник статей] $f научные редакторы: Ю. Л. Ершов, С. С. Гончаров $g [редколлегия: Ю. Г. Косарев (главный редактор) и др.] |
| 210 | # | # | $a Новосибирск $c Институт математики СО РАН $d 1992 |
| 215 | # | # | $a 198 с. $c ил., табл. $d 20 см |
| 225 | 1 | # | $a Вычислительные системы $e сборник научных трудов $f Российская академия наук, Сибирское отделение, Институт математики $x 0568-661X $v вып. 146 |
| 300 | # | # | $a Часть текста на английском языке |
| 320 | # | # | $a Библиография в конце статей |
| 461 | # | 1 | $1 001BY-NLB-br112162 $1 2001 $v Вып. 146 |
| 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 |