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