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 Scott, Dana S. 2 résultats

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

Calvin C. Elgot selected papers Elgot, Galvin C. ; Bloom, Stephen L. ; Scott, Dana S. | Springer-Verlag 1982

Ouvrage

- 357 p.
Cote : 00005903
Elgot # algorithme abstrait # automate de sortie # calcul monadique # filet logique # langage de programmation # mathématique # oeuvres choisies # processus séquentiel coordonnés # programmation structurée # théorie de récursion # théorie des machines # équation d'itération # oeuvres complètes

01A75 ; 03Dxx ; 68Q68

Localisation : Oeuvres complètes RdC (ELGO)

Sélection

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

4

gerer mes paniers

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

Axiomatic set theory
proceedings of the symposium in pure mathematics of the a.m.s.,held at the university of california,los angeles, california,july 10 - aug. 5,1967 Scott, Dana S. | American Mathematical Society 1971

Congrès


Cote : 00011112
axiomatique # theorie des sembles

02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25

Localisation : Collection 1er étage

Sélection

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

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

Langue