|
|
|
|
| LEADER |
01224nam0a2200277 i 4500 |
| 001 |
71BB741C-C338-498A-887D-CFF39369B192 |
| 010 |
|
|
|a 5-7623-0417-5
|d р.150.00
|
| 100 |
|
|
|a 20090320d1992 |||y0rusy02
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a ||||000zy
|
| 200 |
1 |
|
|a Вычислительные системы
|e сб. науч. тр.
|f Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева
|h 146
|i Логика и семантическое программирование
|f науч. ред. Ю. Л. Ершов, С. С. Гончаров
|
| 210 |
|
|
|a Новосибирск
|d 1992
|
| 215 |
|
|
|a 202, [1]с.
|c ил.
|d 21 см
|
| 320 |
|
|
|a Библиогр. в конце ст.
|
| 606 |
|
|
|a Вычислительные системы
|
| 606 |
|
|
|a Логическое программирование
|
| 606 |
|
|
|a Программирования языки
|x Семантика
|
| 686 |
|
|
|a 32.973.202
|a 22.183.4
|2 rubbk
|
| 686 |
|
|
|a 50
|a 27
|2 rugasnti
|
| 702 |
|
1 |
|a Ершов
|b Ю. Л.
|g Юрий Леонидович
|4 340
|
| 702 |
|
1 |
|a Гончаров
|b С. С.
|4 340
|
| 801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20090320
|
