A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur O. PLASSMANN
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesEnumerability, decidability, computability (1965) / Hans HERMES
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 (eng) Langues originales : Allemand (ger) 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 . - Springer-Verlag, 1965. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 127) .
ISBN : 978-3-540-04501-4
Langues : Anglais (eng) Langues originales : Allemand (ger)
Catégories : 03F60 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 129 HER/02/2632 Livre Recherche Salle Disponible