Computability :: SCD d'Orléans

Computability

Computability

保存先:

書誌詳細
第一著者:	Tourlakis, George J., 1946-
フォーマット:	Livre papier
言語:	Anglais
出版事項:	Reston, Va. : Reston Pub. Co. cop. 1984.
主題:	Fonctions calculables Fonctions récursives
Autres localisations:	Voir dans le Sudoc

類似資料

Computability
著者:: Weihrauch, Klaus, 1943-
出版事項: (1987)

Computability and logic
著者:: Boolos, George, 1940-1996, 等
出版事項: (1974)

Computability and unsolvability
著者:: Davis, Martin, 1928-2023
出版事項: (1958)

Theory of recursive functions and effective computability
著者:: Rogers, Hartley, 1926-2015
出版事項: (1967)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
著者:: Hermes, Hans, 1912-2003
出版事項: (1965)

Leçons sur les fonctions calculables
著者:: Uspenskij, Vladimir Andreevič, 1930-2018
出版事項: (1966)

Subrecursion : functions and hierarchies
著者:: Rose, Harvey Ernest, 1936-
出版事項: (1984)

La machine de Turing
著者:: Turing, Alan Mathison, 1912-1954, 等
出版事項: (1999)

Calculabilité effective et algorithmique théorique
著者:: Vollat, Patrick
出版事項: (1989)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
著者:: Davis, Martin, 1928-2023, 等
出版事項: (1965)

Computations in higher types
著者:: Moldestad, Johan, 1946-
出版事項: (1977)

Introduction à la calculabilité
著者:: Wolper, Pierre, 1955-
出版事項: (1991)

Computations in higher types
著者:: Moldestad, Johan, 1946-

Fonctions récursives
著者:: Grzegorczyk, Andrzej, 1922-...., philosophe
出版事項: (1961)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
著者:: Goodstein, Reuben Louis, 1912-1985
出版事項: (1964)

Récursivité
著者:: Azra, Jean-Pierre, 等
出版事項: (1973)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

Recursive function theory and logic
著者:: Yasuhara, Ann Harris, 1932-2014
出版事項: (1971)

Complexité et décidabilité
著者:: Dehornoy, Patrick, 1952-2019, mathématicien
出版事項: (1993)

Fibonacci and related number theoretic tables
出版事項: (1972)

Complex analytic geometry
著者:: Fischer, Gerd, 1939-
出版事項: (1976)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
出版事項: (1965)

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

Complex analytic geometry
著者:: Fischer, Gerd, 1939-

Degrees of unsolvability
著者:: Sacks, Gerald, 1933-2019
出版事項: (1966)

Degrees of unsolvability
著者:: Shoenfield, Joseph Robert, 1927-2000
出版事項: (1971)

Random iterative models
著者:: Duflo, Marie, 1940-2019, mathématicienne
出版事項: (1997)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
出版事項: (1976)

Mathematical foundations of programming
著者:: Beckman, Frank S., 1921-2009
出版事項: (1980)

Recursive methods in economic dynamics
著者:: Stokey, Nancy L., 等
出版事項: (1989)

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

Automata and computability
著者:: Kozen, Dexter C., 1951-
出版事項: (1997)

Méthodes récursives aléatoires
著者:: Duflo, Marie, 1940-2019, mathématicienne
出版事項: (1990)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
著者:: Cori, René, 1949-...., mathématicien, 等
出版事項: (2003)

Calcul différentiel et intégral. Fonctions réelles de plusieurs variables réelles
著者:: Douchet, Jacques, 19..-, 等
出版事項: (1993)

Analyse mathématique. Calcul différentiel et intégral, séries de Fourier, fonctions holomorphes
著者:: Godement, Roger, 1921-2016
出版事項: (2003)

Fonctions d'une variable complexe
著者:: Garnir, Henri Georges, 1921-1985, 等
出版事項: (1965)

A course of pure mathematics
著者:: Hardy, Godfrey Harold, 1877-1947
出版事項: (1967)

Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970
著者:: Mosconi, Jean, 1942-
出版事項: (2022)

Leçons sur l'intégration et la recherche des fonctions primitives
著者:: Lebesgue, Henri, 1875-1941
出版事項: (1989)

© 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