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