La machine de Turing :: SCD d'Orléans

La machine de Turing

La machine de Turing

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Turing, Alan Mathison, 1912-1954, Girard, Jean-Yves, 1947-...., mathématicien-logicien (Introdukzio egilea, etabar.)
Beste egile batzuk:	Basch, Julien (Itzultzailea), Blanchard, Patrice (Itzultzailea)
Formatua:	Livre papier
Hizkuntza:	Français
Argitaratua:	Paris : Éditions du Seuil DL 1999. 61-Lonrai : Normandie roto impr
Saila:	Points. Sciences S131
Gaiak:	Fonctions récursives Complexité de calcul (informatique) Fonctions calculables Machines de Turing Automates mathématiques, Théorie des
Oharra:	Autre tirage : 2000
Autres localisations:	Voir dans le Sudoc

Antzeko izenburuak

Complexité et décidabilité
nork: Dehornoy, Patrick, 1952-2019, mathématicien
Argitaratua: (1993)

Calculabilité effective et algorithmique théorique
nork: Vollat, Patrick
Argitaratua: (1989)

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

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

Introduction à la calculabilité
nork: Wolper, Pierre, 1955-
Argitaratua: (1991)

Automata and computability
nork: Kozen, Dexter C., 1951-
Argitaratua: (1997)

Machines de Turing et automates cellulaires : du trait gravé au très animé
nork: Corge, Charles
Argitaratua: (2008)

Introduction to the theory of computation
nork: Sipser, Michael
Argitaratua: (2006)

Introduction à la calculabilité : cours et exercices corrigés
nork: Wolper, Pierre, 1955-
Argitaratua: (2001)

Computability and logic
nork: Boolos, George, 1940-1996, et al.
Argitaratua: (1974)

Komplexität von Entscheidungsproblemen : ein seminar
nork: Specker, Ernst, 1920-2011
Argitaratua: (2005)

Subrecursion : functions and hierarchies
nork: Rose, Harvey Ernest, 1936-
Argitaratua: (1984)

Theory of recursive functions and effective computability
nork: Rogers, Hartley, 1926-2015
Argitaratua: (1967)

Computability
nork: Tourlakis, George J., 1946-
Argitaratua: (1984)

Leçons sur les fonctions calculables
nork: Uspenskij, Vladimir Andreevič, 1930-2018
Argitaratua: (1966)

Computability
nork: Weihrauch, Klaus, 1943-
Argitaratua: (1987)

Computability and unsolvability
nork: Davis, Martin, 1928-2023
Argitaratua: (1958)

Elements of the theory of computation
nork: Lewis, Harry R., 1947-, et al.
Argitaratua: (1981)

Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981

Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983

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

The nature of computation : logic, algorithms, applications : proceedings
Argitaratua: (2013)

Langages formels, calculabilité et complexité
nork: Carton, Olivier, 19..-...., mathématicien
Argitaratua: (2008)

Introduction to automata theory, languages, and computation
nork: Hopcroft, John Edward, 1939-, et al.
Argitaratua: (1979)

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

Automata studies
nork: Shannon, Claude Elwood, 1916-2001
Argitaratua: (1956)

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

Langages formels : calculabilité et complexité : cours et exercices corrigés
nork: Carton, Olivier
Argitaratua: (2014)

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981

Machines de Turing : introduction à la caractérisation de la complexité d'un problème : code compatible avec les versions 5, 6 et 7 de Mathematica
nork: Jacopin, Éric, 19..-
Argitaratua: (2009)

Complexité algorithmique : et problèmes de communications
nork: Barthélemy, Jean-Pierre, 1945-, et al.
Argitaratua: (1992)

Mathematical foundations of programming
nork: Beckman, Frank S., 1921-2009
Argitaratua: (1980)

Le modèle Turing
nork: Bernstein, Catherine, 1964-...., réalisatrice
Argitaratua: (2012)

Lectures on proof verification and approximation algorithms
nork: Mayr, Ernst W., 1950-

Information, complexité et hasard
nork: Delahaye, Jean-Paul, 1952-
Argitaratua: (1994)

The computational complexity of logical theories
nork: Ferrante, Jeanne, 1949-, et al.

Le Calcul intensif
nork: Stockmeyer, Larry, 1948-, et al.
Argitaratua: (1989)

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

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

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

© 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