Refine your search
Availability
-
bib-level
- m (2)
-
Authors
-
Locations
- Книгохранилище (1)
- Читальный зал 5 (2)
-
Item types
-
Topics
- Гжегорчика классы (1)
- Минского машины (1)
- Тьюринга машины (2)
- алгоритмов теория (1)
- базисы конечные по суперпозиции (1)
- вычислимые функции (1)
- канонические представления предикатов (1)
- классы элементарных функций (1)
- машины SPM. (1)
- моделирование вычислений рудиментарное (1)
- ограниченная рекурсия (1)
- операция суперпозиции (1)
- предикатов представления экзистенциальные однократные (1)
- предикаты ограниченно арифметические (2)
- предикаты рудиментарные (1)
- рудиментарное моделирование вычислений (1)
- рудиментарные предикаты (1)
- стековые регистровые машины (2)
- теоремы (1)
- функции многоместные (1)
- Show more
- Show less