A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
15 résultat(s) recherche sur le mot-clé 'fonction récursive' 




Formal systems and recursive functions / J. N. CROSSLEY (1965)
Titre : Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963 Type de document : texte imprimé Auteurs : J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : 320 p. Langues : Anglais Mots-clés : système formel fonction récursive Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963 [texte imprimé] / J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1965 . - 320 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : système formel fonction récursive Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5467 CRO/02/2638 Livre Recherche Salle Disponible Formalized recursive functionals and formalized realizability / Stephen Cole KLEENE (1969)
Titre : Formalized recursive functionals and formalized realizability Type de document : texte imprimé Auteurs : Stephen Cole KLEENE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1969 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 89 Importance : 106 p. ISBN/ISSN/EAN : 821-81289-0 Langues : Anglais Catégories : 02-23
02-70Mots-clés : fonction récursive Note de contenu : références Formalized recursive functionals and formalized realizability [texte imprimé] / Stephen Cole KLEENE, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1969 . - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 89) .
ISSN : 821-81289-0
Langues : Anglais
Catégories : 02-23
02-70Mots-clés : fonction récursive Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4459 854/89 Livre Recherche Salle Disponible Recursive function theory / J. C. E. DEKKER (Cop. 1962)
Titre : Recursive function theory Type de document : texte imprimé Auteurs : J. C. E. DEKKER, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1962 Collection : Proceedings of symposia in pure mathematics, ISSN 0082-0717 num. 5 Importance : VII-247 p. Présentation : ill. Note générale : Proceedings of the fifth symposium in pure mathematics of the American Mathematical Society held at the Hotel New Yorker, New York, New York April 6-7, 1961 Langues : Anglais Mots-clés : fonction récursive arithmétique Note de contenu : index, références Recursive function theory [texte imprimé] / J. C. E. DEKKER, Editeur scientifique . - Providence, R. I. (Etats Unis) : American Mathematical Society, Cop. 1962 . - VII-247 p. : ill.. - (Proceedings of symposia in pure mathematics, ISSN 0082-0717; 5) .
Proceedings of the fifth symposium in pure mathematics of the American Mathematical Society held at the Hotel New Yorker, New York, New York April 6-7, 1961
Langues : Anglais
Mots-clés : fonction récursive arithmétique Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13442 1791/5 Livre Recherche Salle Disponible Recursive function theory and logic / Ann YASUHARA (Cop. 1971)
Titre : Recursive function theory and logic Type de document : texte imprimé Auteurs : Ann YASUHARA, Auteur Editeur : New York [U.S.A.] : Academic Press Année de publication : Cop. 1971 Collection : Computer science and applied mathematics Importance : XV-338 p. Langues : Anglais Mots-clés : fonction récursive logique mathématique Note de contenu : index, références Recursive function theory and logic [texte imprimé] / Ann YASUHARA, Auteur . - New York (U.S.A.) : Academic Press, Cop. 1971 . - XV-338 p.. - (Computer science and applied mathematics) .
Langues : Anglais
Mots-clés : fonction récursive logique mathématique Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8583 YAS/65/4225 Livre Recherche Salle Disponible Recursive functions / Rózsa PÉTER (1967)
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 Theory of recursive functions and effective computability / Hartley Jr. ROGERS (Cop. 1967)
PermalinkAlgebra (1962)
PermalinkComputation with recurrence relations / Jet WIMP (1984)
PermalinkFonctions récursives / Andrzej GRZEGORCZYK (DL 1961)
PermalinkHierarchies of predicates of finite types / D. A. CLARKE (1964)
Permalink