Class: 'нерекурсивная тьюрингова степень'
http://cll.niimm.ksu.ru/ontologies/mathematics#E2397
Annotations (2)
-
comment "Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972, стр. 180" (string)
-
label "нерекурсивная тьюрингова степень" (ru)
Superclasses (1)
Usage (1)
-
Class: 'нерекурсивная тьюрингова степень'