|
|
|
|
| LEADER |
01077nam0a2200265 i 4500 |
| 001 |
586213C6-B0DE-4149-B7A5-50667EB92FA0 |
| 010 |
|
|
|d р.1.00
|
| 100 |
|
|
|a 20090317d1990 |||y0rusy02
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a ||||000zy
|
| 200 |
1 |
|
|a Вычислительные системы
|e сб. науч. тр.
|f Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева
|h 133
|i Логические методы в программировании
|f науч. ред.: Ю. Л. Ершов, С. С. Гончаров
|
| 210 |
|
|
|a Новосибирск
|d 1990
|
| 215 |
|
|
|a 188, [1]с.
|c ил.
|d 20 см
|
| 320 |
|
|
|a Библиогр. в конце ст.
|
| 606 |
|
|
|a Вычислительные системы
|
| 606 |
|
|
|a Логическое программирование
|
| 686 |
|
|
|a 32.973.202
|2 rubbk
|
| 686 |
|
|
|a 50
|2 rugasnti
|
| 702 |
|
1 |
|a Ершов
|b Ю. Л.
|4 340
|
| 702 |
|
1 |
|a Гончаров
|b С. С.
|4 340
|
| 801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20090317
|
