A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Enumerability, decidability, computability / Hans HERMES (1965)
Titre : Enumerability, decidability, computability : an introduction to the theory of recursive functions Type de document : texte imprimé Auteurs : Hans HERMES, Auteur ; G.T. HERMAN, Traducteur ; O. PLASSMANN, Traducteur Editeur : Berlin : Springer-Verlag Année de publication : 1965 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 127 ISBN/ISSN/EAN : 978-3-540-04501-4 Langues : Anglais Langues originales : Allemand Catégories : 03F60 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Enumerability, decidability, computability : an introduction to the theory of recursive functions [texte imprimé] / Hans HERMES, Auteur ; G.T. HERMAN, Traducteur ; O. PLASSMANN, Traducteur . - Berlin : Springer-Verlag, 1965. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 127) .
ISBN : 978-3-540-04501-4
Langues : Anglais Langues originales : Allemand
Catégories : 03F60 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 129 HER/02/2632 Livre Recherche Salle Disponible