|
|
|
|
| LEADER |
00923nam0a2200229 i 4500 |
| 001 |
10F0DE13-F5A9-41C9-B026-785E47FC6E6E |
| 010 |
|
|
|a 5-7623-0675-5
|d р.1000.00
|
| 100 |
|
|
|a 19981119d1993 k y0rusy02 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 000#y
|
| 200 |
1 |
|
|a Вычислительные системы
|e сб. науч. тр.
|f Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева ; науч. ред.: Ершов Ю. Л., Гончаров С. С.
|h 148
|i Логические методы в информатике
|
| 210 |
|
|
|a Новосибирск
|d 1993
|
| 215 |
|
|
|a 176с.
|
| 606 |
|
|
|a Вычислительные системы
|
| 606 |
|
|
|a Логическое программирование
|
| 686 |
|
|
|a 32.973.202
|a 22.183.4
|2 rubbk
|
| 686 |
|
|
|a 50
|a 27
|2 rugasnti
|
| 801 |
|
0 |
|b НБУР
|a RU
|c 19981119
|
