Recursiveness :: SCD d'Orléans

Recursiveness

Recursiveness

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Eilenberg, Samuel, 1913-1998, Elgot, Calvin C., 1922-1980 (Tekijä)
Aineistotyyppi:	Livre papier
Kieli:	Anglais
Julkaistu:	New York ; London : Academic Press cop. 1970.
Aiheet:	Récursivité, théorie de la
Autres localisations:	Voir dans le Sudoc

Samankaltaisia teoksia

General recursion theory : an axiomatic approach
Tekijä: Fenstad, Jens Erik, 1935-2020
Julkaistu: (1980)

Recursion-theoretic hierarchies
Tekijä: Hinman, Peter G.
Julkaistu: (1978)

Recursive analysis
Tekijä: Goodstein, Reuben Louis, 1912-1985
Julkaistu: (1961)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Julkaistu: (1978)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Julkaistu: (1974)

Récursivité
Tekijä: Azra, Jean-Pierre, et al.
Julkaistu: (1973)

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

Subrecursion : functions and hierarchies
Tekijä: Rose, Harvey Ernest, 1936-
Julkaistu: (1984)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Julkaistu: (1977)

Set Theory and Hierarchy Theory V

Theory of recursive functions and effective computability
Tekijä: Rogers, Hartley, 1926-2015
Julkaistu: (1967)

First-order dynamic logic
Tekijä: Harel, David, 1950-

Walks on Ordinals and Their Characteristics
Tekijä: 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

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

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

Degrees of unsolvability
Tekijä: Sacks, Gerald, 1933-2019
Julkaistu: (1966)

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
Tekijä: Lolli, Gabriele, 1942-
Julkaistu: (2011)

Recursion on the countable functionals
Tekijä: Normann, Dag, 1947-

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

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

Induction, recursion, and programming
Tekijä: Wand, Mitchell
Julkaistu: (1980)

The recursion method : application to many-body dynamics
Tekijä: Viswanath, V.S, et al.

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
Tekijä: Karpiński, Marek

The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Julkaistu: (1980)

Cybernetique d’une theorie de la connaissance
Tekijä: Foerster, Heinz von
Julkaistu: (2015)

Recursive methods in economic dynamics
Tekijä: Stokey, Nancy L., et al.
Julkaistu: (1989)

Le développement de la compréhension de la discontinuité entre l'actuel et le virtuel dans les images
Tekijä: Thommen, Évelyne, et al.
Julkaistu: (2002)

Option informatique : cours complet pour la Sup MPSI
Tekijä: Monasse, Denis, 1950-
Julkaistu: (1996)

Altérité, géographie, médias : une étude de Terre solitaire de Tiziana Panizza
Tekijä: Cisneros, James
Julkaistu: (2021)

Chaînes d’énonciateurs et modes d’organisation textuels : du discours rapporté à la circulation re-marquée des discours
Tekijä: Rosier, Laurence
Julkaistu: (2009)

Position multisituée et récursivité
Tekijä: Trémon, Anne-Christine
Julkaistu: (2023)

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

Sur la jouissance du sportif
Tekijä: Lew, René
Julkaistu: (2020)

Selected Papers
Tekijä: Elgot, Calvin C., 1922-1980

Etnografía, Arqueología y recursividad en la comunidad alfarera de Chipihuayco (Modesto Omiste, Bolivia)
Tekijä: Ávila, Florencia
Julkaistu: (2021)

La thérapie vue comme un processus de deuxième ordre
Tekijä: Telfener, Umberta
Julkaistu: (2021)

La fugaz verdad de la experiencia
Tekijä: Ghiso, Alfredo
Julkaistu: (2014)

Séminaire Henri Cartan. Cohomologie des groupes, suite spectrale, faisceaux
Tekijä: Eilenberg, Samuel, 1913-1998, mathématicien, et al.
Julkaistu: (1955)

© 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