|
|
|
|
| LEADER |
01677nam a2200289 i 4500 |
| 001 |
LibTUSUR0000022856 |
| 008 |
060815s1996 ru_ l000 0yrus d |
| 040 |
|
|
|a Библиотека ТУСУР
|b rus
|
| 245 |
0 |
0 |
|a Вычислительные системы:
|b Сборник научных трудов/
|c Российская Академия наук. Сибирское отделение, Институт математики.
|n 156,
|p Структурные алгоритмические свойства вычислимости/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров
|
| 260 |
|
|
|a Новосибирск
|c 1996
|
| 300 |
|
|
|a 153 с.
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a вычислительные системы
|
| 653 |
0 |
|
|a вычислимость
|
| 653 |
0 |
|
|a программирование
|
| 653 |
0 |
|
|a вещественно-значные функции
|
| 653 |
0 |
|
|a универсальные алгебры
|
| 653 |
0 |
|
|a немонотонные логики
|
| 653 |
0 |
|
|a немонотонные системы
|
| 653 |
0 |
|
|a интегрированные модели
|
| 653 |
0 |
|
|a булева алгебра
|
| 653 |
0 |
|
|a математика
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 681.3
|i В-949
|p 277574
|b аунл
|
| 080 |
|
|
|a 681.324
|a 519.68
|
| 700 |
1 |
|
|a Ершов, Ю. Л.
|4 edt
|
| 700 |
1 |
|
|a Гончаров, С. С.
|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-971418
|
