Elements of the theory of computation :: SCD d'Orléans

Elements of the theory of computation

Elements of the theory of computation

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Lewis, Harry R., 1947-, Papadimitriou, Christos H., 1949- (Tekijä)
Aineistotyyppi:	Livre papier
Kieli:	Anglais
Julkaistu:	Englewood Cliffs (N.J.) : Prentice Hall C 1981.
Sarja:	Prentice-Hall software series
Aiheet:	Langages formels Fonctions calculables Complexité de calcul (informatique) Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Samankaltaisia teoksia

Logique(s), langages formels et complexité pour l'informatique
Tekijä: Jussien, Narendra, 1973-
Julkaistu: (2006)

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Introduction à la calculabilité
Tekijä: Wolper, Pierre, 1955-
Julkaistu: (1991)

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

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

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

Journal of logic and computation.
Julkaistu: (1990)

Fundamentals of computation theory : ; proceedings 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003

Langages formels : calculabilité et complexité : cours et exercices corrigés
Tekijä: Carton, Olivier
Julkaistu: (2014)

Langages formels, calculabilité et complexité
Tekijä: Carton, Olivier, 19..-...., mathématicien
Julkaistu: (2008)

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

Fundamentals of computation theory : 8th International Conference, FCT '91 Gosen, Germany, September 9 13, 1991 : proceedings

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

Fundamentals of computation theory : International Conference FCT '89 Szeged, Hungary, August 21 25, 1989 : proceedings

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

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)

Symbolic-Numeric Computation

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

Comprendre les méthodes formelles : panorama et outils logiques
Tekijä: Monin, Jean-François
Julkaistu: (1996)

Introduction to the theory of computation
Tekijä: Sipser, Michael
Julkaistu: (2006)

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

Machines, languages, and complexity : 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions

Complexités : aux limites des mathématiques et de l'informatique
Tekijä: Delahaye, Jean-Paul, 1952-
Julkaistu: (2006)

Complexité aléatoire et complexité organisée
Tekijä: Delahaye, Jean-Paul, 1952-
Julkaistu: (2009)

Logique et complexité
Tekijä: Lassaigne, Richard, et al.
Julkaistu: (1996)

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

Computability and logic
Tekijä: Boolos, George, 1940-1996, et al.
Julkaistu: (1974)

Computational complexity
Tekijä: Papadimitriou, Christos H., 1949-
Julkaistu: (1994)

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

Fundamentals of computation theory : FCT '85 Cottbus, GDR, September 9 13, 1985

Introduction à l'informatique théorique
Tekijä: Bourda, Yolaine, 19..-, et al.
Julkaistu: (1994)

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

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

Éléments de logique formelle
Tekijä: Chazal, Gérard, 1947-
Julkaistu: (1996)

Tractable reasoning in artificial intelligence
Tekijä: Cadoli, Marco

Combinatorial optimization : algorithms and complexity
Tekijä: Papadimitriou, Christos H., 1949-, et al.
Julkaistu: (1982)

Journal of symbolic computation.

Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99 Szklarska Por©eba, Poland, September 6-10, 1999 : proceedings

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

© 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