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