Computability and unsolvability :: SCD d'Orléans

Computability and unsolvability

Computability and unsolvability

Сохранить в:

Библиографические подробности
Главный автор:	Davis, Martin, 1928-2023
Формат:	Livre papier
Язык:	Anglais
Опубликовано:	New York ; Toronto ; London : McGraw-Hill 1958.
Серии:	McGraw-Hill series in information processing and computers
Предметы:	Fonctions récursives Fonctions calculables Non-résolubilité (logique mathématique)
Autres localisations:	Voir dans le Sudoc

Схожие документы

Degrees of unsolvability
по: Shoenfield, Joseph Robert, 1927-2000
Опубликовано: (1971)

Degrees of unsolvability
по: Sacks, Gerald, 1933-2019
Опубликовано: (1966)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
по: Davis, Martin, 1928-2023, и др.
Опубликовано: (1965)

Computability and logic
по: Boolos, George, 1940-1996, и др.
Опубликовано: (1974)

Degrees of unsolvability : structure and theory
по: Epstein, Richard L., 1947-
Опубликовано: (1979)

Degrees of Unsolvability : Structure and Theory
по: Epstein, Richard L., 1947-

Computability
по: Tourlakis, George J., 1946-
Опубликовано: (1984)

Computability
по: Weihrauch, Klaus, 1943-
Опубликовано: (1987)

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)

Introduction à la calculabilité
по: Wolper, Pierre, 1955-
Опубликовано: (1991)

Leçons sur les fonctions calculables
по: Uspenskij, Vladimir Andreevič, 1930-2018
Опубликовано: (1966)

Recursive function theory and logic
по: Yasuhara, Ann Harris, 1932-2014
Опубликовано: (1971)

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

Subrecursion : functions and hierarchies
по: Rose, Harvey Ernest, 1936-
Опубликовано: (1984)

Complexité et décidabilité
по: Dehornoy, Patrick, 1952-2019, mathématicien
Опубликовано: (1993)

La machine de Turing
по: Turing, Alan Mathison, 1912-1954, и др.
Опубликовано: (1999)

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

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
по: Cori, René, и др.
Опубликовано: (1993)

Computations in higher types
по: Moldestad, Johan, 1946-

Calculabilité effective et algorithmique théorique
по: Vollat, Patrick
Опубликовано: (1989)

Mathematical foundations of programming
по: Beckman, Frank S., 1921-2009
Опубликовано: (1980)

Computations in higher types
по: Moldestad, Johan, 1946-
Опубликовано: (1977)

Fonctions récursives
по: Grzegorczyk, Andrzej, 1922-...., philosophe
Опубликовано: (1961)

Complex analytic geometry
по: Fischer, Gerd, 1939-

Complex analytic geometry
по: Fischer, Gerd, 1939-
Опубликовано: (1976)

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)

Recursion on the countable functionals
по: Normann, Dag, 1947-

The nature of computation : logic, algorithms, applications : proceedings
Опубликовано: (2013)

Random iterative models
по: Duflo, Marie, 1940-2019, mathématicienne
Опубликовано: (1997)

Elements of the theory of computation
по: Lewis, Harry R., 1947-, и др.
Опубликовано: (1981)

Fibonacci and related number theoretic tables
Опубликовано: (1972)

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Recursive methods in economic dynamics
по: Stokey, Nancy L., и др.
Опубликовано: (1989)

Symbolic-Numeric Computation

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)

© 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