Normal view
MARC view
Элементарые рекурсивные функции С. С. Марченков
Material type: TextPublication details: М. МЦНМО 2003Description: 111, [1] сISBN: 5940570984Subject(s): вычислимые функции | рудиментарные предикаты | рудиментарное моделирование вычислений | Тьюринга машины | предикаты ограниченно арифметические | канонические представления предикатов | теоремы | классы элементарных функций | стековые регистровые машины | машины SPM | элементарные функции M | ограниченная рекурсияItem type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 М30 (Browse shelf(Opens below)) | Available | 13820000586522 | |||
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-904671к (Browse shelf(Opens below)) | 1 | Available | 13820000430190 |
Библиогр.: с. 109-111
Предм. указ. в конце кн.
There are no comments on this title.
Log in to your account to post a comment.