Ensemble d'indices des combinaisons booléennes d'ouverts dont une clé est récursivement énumérable
Uloženo v:
| Hlavní autor: | Grassin, Jacques |
|---|---|
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
[S.l.] :
[s.n.]
1972.
|
| Témata: | |
| Poznámka: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
Podobné jednotky
-
COMBINAISON DES TROIS TYPES D'INDICE DE SÉLECTION FOURNIS AUX SÉLECTIONNEURS FRANÇAIS DE PORCS
(Article ou chapitre numérique)
L. OLLIVIER
EDP Sciences, 1972 -
Que faire ? La greffe d’ouvert en thérapie institutionnelle
(Article ou chapitre numérique)
Germain, Patrick, a další
, 2018 -
Recursion on the countable functionals
(Livre numérique)
Normann, Dag, 1947- -
Recursive function theory and logic
(Livre papier)
Yasuhara, Ann Harris, 1932-2014
Academic Press, 1971 -
Techniques of Admissible Recursion Theory
(Livre numérique)
Chong, Chi-Tat, 1949-...., mathématicien