|
|
|
|
| LEADER |
01537nam a2200241 i 4500 |
| 001 |
LibTUSUR0000027821 |
| 008 |
060815s1993 ru_a l000 0yrus d |
| 040 |
|
|
|a Библиотека ТУСУР
|b rus
|
| 245 |
0 |
0 |
|a Вычислительные системы:
|b Сборник научных трудов/
|c Академия наук СССР. Сибирское отделение, Институт математики.
|n Вып. 148,
|p Логические методы в программировании: сборник научных трудов/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров
|
| 260 |
|
|
|a Новосибирск:
|b Институт математики
|c 1993
|
| 300 |
|
|
|a 176 с.:
|b a-ил
|
| 504 |
|
|
|a Библиогр. в конце ст.
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a вычислительные системы
|
| 653 |
0 |
|
|a ЯЗЫКИ СПЕЦИФИКАЦИЙ
|
| 653 |
0 |
|
|a СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
|
| 653 |
0 |
|
|a ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 681.3
|i В949
|p 272822
|b аунл
|
| 080 |
|
|
|a 519.7
|a 681.324
|
| 700 |
1 |
|
|a Ершов, Ю. Л.
|4 edt
|
| 700 |
1 |
|
|a Гончаров, С. С.
|4 edt
|
| 700 |
|
|
|4 edt
|
| 856 |
|
|
|y Перейти в каталог Библиотеки ТУСУР
|u https://lib.tusur.ru/irbis-new/i64r_15/cgiirbis_64.exe?Z21ID=&P21DBN=LIB&I21DBN=LIB&S21FMT=fullwebr&C21COM=S&2_S21P02=0&2_S21P03=I=&2_S21STR=681.3/В949-653960
|
