En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03D25 5 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logic year 1979-80 Lerman, M. ; Schmerl, J. H. ; Soare, R. I. | Springer 1981

Congrès

Lecture notes in mathematics

Cote : M/A1(859)
ISBN/ISSN : 3-540-10708-8

logique ; logique algébrique ; mathématique constructive ; modèle ; récurrence

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The role of true finiteness in the admissible recursively enumerable degrees Greenberg, Noam | AMS 2006

Monographie

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(854)
ISBN/ISSN : 0-8218-3885-7

équation récurrente ; ensemble récursivement énumérable ; final

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automorphisms of the lattice of recursively enumerable sets Cholak, Peter | AMS 1995

Monographie

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(541)
ISBN/ISSN : 0-8218-2601-8

automorphisme ; ensemble récursivement énumérable ; treillis

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Techniques of admissible recursion theory Chong, Chi-Tat | Springer 1985

Monographie

Lecture notes in mathematics

Cote : M/A1(1106)
ISBN/ISSN : 3-540-13902-8

récurrence

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algorithms and recursive functions Mal'cev, A. I. ; Boron, Leo F. ; Sanchis, Luis E. ; Stillwell, John ; Iseki, Kiyoski | Wolters-Noordhoff 1970

Monographie

Cote : MALCEV a
ISBN/ISSN : 9-00-157070-4

algorithme ; fonction récursive ; machine de Turing

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun