Теория рекурсивных функций и эффективная вычислимость
| Main Author: | Роджерс, Х. |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
М
Мир
1972
|
| Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Вычислимость. Введение в теорию рекурсивных функций
by: Катленд, Найджел
Published: (1983) -
Классы элементарных рекурсивных функций
by: Марченков, Сергей Серафимович
Published: (2017) -
Определимость и вычислимость
by: Ершов, Юрий Леонидович 1940-
Published: (1996) -
Аналитическая вычислимость сумм произведения показательных и степенных функций
by: Сущенко, Сергей Петрович -
Основания интуиционистской математики с точки зрения теории рекурсивных функций
by: Клини, Стивен Коул 1909-1994
Published: (1978)
