A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Hans HERMES
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesAufzählbarkeit, entscheidbarkeit, berechenbarkeit (1961) / Hans HERMES
Titre : Aufzählbarkeit, entscheidbarkeit, berechenbarkeit : einführung in die theorie der rekursiven funktionen Type de document : texte imprimé Auteurs : Hans HERMES, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1961 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 109 Importance : IX-246 p. ISBN/ISSN/EAN : 978-3-540-08869-1 Langues : Allemand (ger) Catégories : 03D20 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Note de contenu : index Aufzählbarkeit, entscheidbarkeit, berechenbarkeit : einführung in die theorie der rekursiven funktionen [texte imprimé] / Hans HERMES, Auteur . - Springer-Verlag, 1961 . - IX-246 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 109) .
ISBN : 978-3-540-08869-1
Langues : Allemand (ger)
Catégories : 03D20 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5081 HER/02/2595 Livre Recherche Salle Disponible Eine termlogik mit auswahloperator (1965) / Hans HERMES
Titre : Eine termlogik mit auswahloperator Type de document : monographie Auteurs : Hans HERMES, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1965 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 6 Importance : 42 p. Langues : Allemand (ger) Catégories : 03-xx Mots-clés : logique Note de contenu : index, bibliogr. Eine termlogik mit auswahloperator [monographie] / Hans HERMES, Auteur . - Springer-Verlag, 1965 . - 42 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 6) .
Langues : Allemand (ger)
Catégories : 03-xx Mots-clés : logique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 127 LN 6 Livre Recherche Salle Disponible Einführung in die verbandstheorie (1955) / Hans HERMES
Titre : Einführung in die verbandstheorie Type de document : monographie Auteurs : Hans HERMES, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1955 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 73 Importance : 164 p. Langues : Allemand (ger) Catégories : 03G10
06BxxMots-clés : ensemble ordonné treillis Note de contenu : index Einführung in die verbandstheorie [monographie] / Hans HERMES, Auteur . - Springer-Verlag, 1955 . - 164 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 73) .
Langues : Allemand (ger)
Catégories : 03G10
06BxxMots-clés : ensemble ordonné treillis Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4869 HER/06/G 73 Livre Recherche Salle Disponible Enumerability, 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