Computability and logic :: SCD d'Orléans

Computability and logic

Computability and logic

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Boolos, George, 1940-1996, Jeffrey, Richard Carl, 1926-2002 (VerfasserIn)
Format:	Livre papier
Sprache:	Anglais
Veröffentlicht:	Cambridge : University Press 1974.
Schlagworte:	Fonctions calculables > Informatique Fonctions récursives > Informatique Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Ähnliche Einträge

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

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

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

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

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

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

Introduction à la calculabilité
von: Wolper, Pierre, 1955-
Veröffentlicht: (1991)

The nature of computation : logic, algorithms, applications : proceedings
Veröffentlicht: (2013)

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

Complexité et décidabilité
von: Dehornoy, Patrick, 1952-2019, mathématicien
Veröffentlicht: (1993)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Veröffentlicht: (1965)

Calculabilité effective et algorithmique théorique
von: Vollat, Patrick
Veröffentlicht: (1989)

Degrees of unsolvability
von: Shoenfield, Joseph Robert, 1927-2000
Veröffentlicht: (1971)

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

Elements of the theory of computation
von: Lewis, Harry R., 1947-, et al.
Veröffentlicht: (1981)

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

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

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
von: Davis, Martin, 1928-2023, et al.
Veröffentlicht: (1965)

Symbolic-Numeric Computation

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

Journal of logic and computation.
Veröffentlicht: (1990)

Mathematical foundations of programming
von: Beckman, Frank S., 1921-2009
Veröffentlicht: (1980)

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

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
von: Leivant, Daniel

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
von: Cori, René, et al.
Veröffentlicht: (1993)

Logic and machines : decision problems and complexity : proceedings of the symposium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut für Matematische Logik und Grundlagenforshung der Universität Münster, Westfalen

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

Calcul différentiel pour les langues de la logique : théorie et applications
von: Thayse, André, 1940-
Veröffentlicht: (2004)

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

Logic journal of the IGPL.
Veröffentlicht: (1997)

Automata, logics, and infinite games
von: Grädel, Erich, 1958-

Logique(s), langages formels et complexité pour l'informatique
von: Jussien, Narendra, 1973-
Veröffentlicht: (2006)

Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers
von: Furuhashi, Takeshi, 1954-

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

Computation theory and logic
von: Börger, Egon, 1946-

Automata and computability
von: Kozen, Dexter C., 1951-
Veröffentlicht: (1997)

Lambda-calcul : types et modèles
von: Krivine, Jean-Louis, 1939-
Veröffentlicht: (1990)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
von: Loveland, Donald W., et al.
Veröffentlicht: (2014)

Turing machines with sublogarithmic space
von: Szepietowski, Andrzej, 19..-

Logic : a brief course
von: Mundici, Daniele, 1946-

© 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