Récursivité :: SCD d'Orléans

Récursivité

Récursivité

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Azra, Jean-Pierre, Jaulin, Bernard, 1934-2010 (VerfasserIn)
Weitere Verfasser:	Lacombe, Daniel, 1925-2016, mathématicien (VerfasserIn eines Geleitwortes)
Format:	Livre papier
Sprache:	Français
Veröffentlicht:	Paris ; Bruxelles ; Montréal : Gauthier-Villars 1973.
Schriftenreihe:	Collection Programmation. Maîtrise série B
Schlagworte:	Fonctions récursives Théorie de la récursivité
Autres localisations:	Voir dans le Sudoc

Ähnliche Einträge

Subrecursion : functions and hierarchies
von: Rose, Harvey Ernest, 1936-
Veröffentlicht: (1984)

Theory of recursive functions and effective computability
von: Rogers, Hartley, 1926-2015
Veröffentlicht: (1967)

Techniques of Admissible Recursion Theory
von: Chong, Chi-Tat, 1949-...., mathématicien

Degrees of unsolvability
von: Sacks, Gerald, 1933-2019
Veröffentlicht: (1966)

Recursive methods in economic dynamics
von: Stokey, Nancy L., et al.
Veröffentlicht: (1989)

La mise en scène de la créativité dans l’œuvre de Michel Gondry : récursivité, boucle étrange et cognition
von: Périssé, Camille
Veröffentlicht: (2022)

Position multisituée et récursivité
von: Trémon, Anne-Christine
Veröffentlicht: (2023)

Recursion on the countable functionals
von: Normann, Dag, 1947-

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
von: Goodstein, Reuben Louis, 1912-1985
Veröffentlicht: (1964)

Altérité, géographie, médias : une étude de Terre solitaire de Tiziana Panizza
von: Cisneros, James
Veröffentlicht: (2021)

Recursiveness
von: Eilenberg, Samuel, 1913-1998, et al.
Veröffentlicht: (1970)

General recursion theory : an axiomatic approach
von: Fenstad, Jens Erik, 1935-2020
Veröffentlicht: (1980)

Recursion-theoretic hierarchies
von: Hinman, Peter G.
Veröffentlicht: (1978)

Recursive analysis
von: Goodstein, Reuben Louis, 1912-1985
Veröffentlicht: (1961)

Fibonacci and related number theoretic tables
Veröffentlicht: (1972)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Veröffentlicht: (1978)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Veröffentlicht: (1974)

Fonctions récursives
von: Grzegorczyk, Andrzej, 1922-...., philosophe
Veröffentlicht: (1961)

Computations in higher types
von: Moldestad, Johan, 1946-
Veröffentlicht: (1977)

Leçons sur les fonctions calculables
von: Uspenskij, Vladimir Andreevič, 1930-2018
Veröffentlicht: (1966)

Computability
von: Tourlakis, George J., 1946-
Veröffentlicht: (1984)

Computability
von: Weihrauch, Klaus, 1943-
Veröffentlicht: (1987)

Computations in higher types
von: Moldestad, Johan, 1946-

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Veröffentlicht: (1967)

La machine de Turing
von: Turing, Alan Mathison, 1912-1954, et al.
Veröffentlicht: (1999)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Veröffentlicht: (1977)

Set Theory and Hierarchy Theory V

First-order dynamic logic
von: Harel, David, 1950-

Walks on Ordinals and Their Characteristics
von: Todorčević, Stevo, 1955-...., mathématicien

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
Veröffentlicht: (1976)

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Enumerability, decidability, computability : an introduction to the theory of recursive functions
von: Hermes, Hans, 1912-2003
Veröffentlicht: (1965)

Recursive function theory and logic
von: Yasuhara, Ann Harris, 1932-2014
Veröffentlicht: (1971)

Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
von: Lolli, Gabriele, 1942-
Veröffentlicht: (2011)

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Computability and unsolvability
von: Davis, Martin, 1928-2023
Veröffentlicht: (1958)

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Veröffentlicht: (1977)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales