m

Documents  Scott, Dana S. | enregistrements trouvés : 2

O
     

-A +A

P Q

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


ISBN 978-0-8218-0245-8

Proceedings of symposia in pure mathematics

Localisation : Collection 1er étage

axiomatique # theorie des sembles

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

... Lire [+]

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

- 357 p.
ISBN 978-0-387-90698-0

Localisation : Oeuvres complètes RdC (ELGO)

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

... Lire [+]

Z