A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Catégories
Affiner la recherche Interroger des sources externesAufzählbarkeit, entscheidbarkeit, berechenbarkeit / Hans HERMES (1961)
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 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 . - Berlin : Springer-Verlag, 1961 . - IX-246 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 109) .
ISBN : 978-3-540-08869-1
Langues : Allemand
Catégories : 03D20 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5081 HER/02/2595 Livre Recherche Salle Disponible
Titre : Hilbert's tenth problem: relations with arithmetic and algebraic geometry : workshop on Hilbert's tenth problem: relations with arithmetic and algebraic geometry, November 2-5, 1999 Ghent University, Belgium Type de document : texte imprimé Auteurs : jan DENEF, Editeur scientifique ; Leonard LIPSHITZ, Editeur scientifique ; Thanases PHEIDAS, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : cop. 2000 Collection : Contemporary mathematics, ISSN 0271-4132 num. 270 Importance : XII-367 p. ISBN/ISSN/EAN : 0-8718-2622-0 Langues : Anglais Catégories : 00B25
03B25
03D20
03D35Mots-clés : géométrie algébrique problème de Hilbert Note de contenu : références Hilbert's tenth problem: relations with arithmetic and algebraic geometry : workshop on Hilbert's tenth problem: relations with arithmetic and algebraic geometry, November 2-5, 1999 Ghent University, Belgium [texte imprimé] / jan DENEF, Editeur scientifique ; Leonard LIPSHITZ, Editeur scientifique ; Thanases PHEIDAS, Editeur scientifique . - Providence, R. I. (Etats Unis) : American Mathematical Society, cop. 2000 . - XII-367 p.. - (Contemporary mathematics, ISSN 0271-4132; 270) .
ISSN : 0-8718-2622-0
Langues : Anglais
Catégories : 00B25
03B25
03D20
03D35Mots-clés : géométrie algébrique problème de Hilbert Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19786 CON/270 Livre Recherche Salle Disponible
Titre : Leçons sur les fonctions calculables Type de document : texte imprimé Auteurs : Vladimir Andreevich OUSPENSKI, Auteur ; André CHAUVIN, Traducteur Editeur : Paris : Hermann Année de publication : 1966 Collection : Actualités scientifiques et industrielles, ISSN 0365-6861 num. 1317 Importance : 412 p. Langues : Français Langues originales : Russe Catégories : 03D20 Mots-clés : fonction récursive fonction calculable Leçons sur les fonctions calculables [texte imprimé] / Vladimir Andreevich OUSPENSKI, Auteur ; André CHAUVIN, Traducteur . - Paris : Hermann, 1966 . - 412 p.. - (Actualités scientifiques et industrielles, ISSN 0365-6861; 1317) .
Langues : Français Langues originales : Russe
Catégories : 03D20 Mots-clés : fonction récursive fonction calculable Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 205 OUS/02/2844 Livre Recherche Salle Disponible i1575 OUS/02/i1575 Livre Recherche Salle Disponible
Titre : Recursive functions Type de document : texte imprimé Auteurs : Rózsa PÉTER, Auteur ; István FÖLDES, Traducteur Mention d'édition : 3e éd. Editeur : New York [U.S.A.] : Academic Press Année de publication : 1967 Importance : 300 p. Présentation : 1 planche Langues : Anglais Langues originales : Roumain Catégories : 03D20 Mots-clés : fonction récursive Recursive functions [texte imprimé] / Rózsa PÉTER, Auteur ; István FÖLDES, Traducteur . - 3e éd. . - New York (U.S.A.) : Academic Press, 1967 . - 300 p. : 1 planche.
Langues : Anglais Langues originales : Roumain
Catégories : 03D20 Mots-clés : fonction récursive Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5538 PET/02/3324 Livre Recherche Salle Disponible
Titre : Theory of recursive functions and effective computability Type de document : texte imprimé Auteurs : Hartley Jr. ROGERS, Auteur Editeur : New York : McGraw-Hill Book Company Année de publication : Cop. 1967 Collection : McGraw-Hill series in higher mathematics Importance : XIX-482 p. Langues : Anglais Catégories : 03D20 Mots-clés : fonction récursive calculabilité Note de contenu : index, bibliogr. Theory of recursive functions and effective computability [texte imprimé] / Hartley Jr. ROGERS, Auteur . - New York : McGraw-Hill Book Company, Cop. 1967 . - XIX-482 p.. - (McGraw-Hill series in higher mathematics) .
Langues : Anglais
Catégories : 03D20 Mots-clés : fonction récursive calculabilité Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5038 ROG/02/3338 Livre Recherche Salle Disponible
