ALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES)
-
BTCONSIDÉRATIONS FONDAMENTALES ET GÉNÉRALES SUR LES MATHÉMATIQUES
-
UDC510.5
-
Descriptor GERALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)
-
Descriptor ENGALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)
-
Descriptor FREALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES)
-
Variant GERFUNKTIONEN/ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)
-
Variant GERBERECHENBARE FUNKTIONEN UND ALGORITHMEN (MATHEMATIK)
-
Variant GERBERECHENBARKEIT (MATHEMATIK)
-
Variant ENGFUNCTIONS/ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)
-
Variant ENGCOMPUTABLE FUNCTIONS AND ALGORITHMS (MATHEMATICS)
-
Variant ENGCOMPUTABILITY (MATHEMATICS)
-
Variant FREFONCTIONS/ALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES)
-
Variant FRECALCULABLE/ALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES)
-
Variant FREFONCTIONS CALCULABLES ET ALGORITHMES (MATHÉMATIQUES)
-
Variant FRECALCULABILITÉ (MATHÉMATIQUES)
-
NTCOMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES)
-
NTTHÉORIE ALGORITHMIQUE DES ENSEMBLES (MATHÉMATIQUES)
-
NTPROBLÈMES ALGORITHMIQUES (MATHÉMATIQUES)
-
NTCONSIDÉRATIONS GÉNÉRALES DE LA THÉORIE DES ALGORITHMES (MATHÉMATIQUES)
-
NTTHÉORIE GÉNÉRALE DES CALCULS (MATHÉMATIQUES)
-
NTTHÉORÈME DE CHURCH-ROSSER (MATHÉMATIQUES)
-
NTLOGIQUE COMBINATOIRE (MATHÉMATIQUES)
-
NTCALCUL LAMBDA (LOGIQUE MATHÉMATIQUE)
-
NTCALCUL DE LAMBEK (LOGIQUE MATHÉMATIQUE)
-
NTPI-CALCUL (MATHÉMATIQUES)
-
NTTHÉORIE DE LA RÉCURSIVITÉ (MATHÉMATIQUES)
-
RTMACHINES DE TURING (MACHINES UNIVERSELLES)