15 résultat(s) recherche sur le mot-clé 'fonction récursive'    

Formal systems and recursive functions / J. N. CROSSLEY (1965)

Public ISBD 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)

Public ISBD 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-70 Mots-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-70 Mots-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)

Public ISBD 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)

Public ISBD 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)

Public ISBD 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)

Permalink

Algebra (1962)

Permalink

Computation with recurrence relations / Jet WIMP (1984)

Permalink

Fonctions récursives / Andrzej GRZEGORCZYK (DL 1961)

Permalink

Hierarchies of predicates of finite types / D. A. CLARKE (1964)

Permalink