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 [+]
