Logique et complexité :: SCD d'Orléans

Logique et complexité

Logique et complexité

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Lassaigne, Richard, Rougemont, Michel de (लेखक)
स्वरूप:	Livre papier
भाषा:	Français
प्रकाशित:	Paris : Hermès 1996.
श्रृंखला:	Collection Informatique
विषय:	Décidabilité (logique mathématique) Logique du premier ordre Complexité de calcul (informatique) Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logique et complexité, Richard Lassaigne, Michel de Rougemont, 199X, Paris, Hermès, 978-2746-23437-6

समान संसाधन

A mathematical introduction to logic
द्वारा: Enderton, Herbert, 1936-2010
प्रकाशित: (1972)

Complexité et décidabilité
द्वारा: Dehornoy, Patrick, 1952-2019, mathématicien
प्रकाशित: (1993)

Logique(s), langages formels et complexité pour l'informatique
द्वारा: Jussien, Narendra, 1973-
प्रकाशित: (2006)

Cinq conférences sur l'indécidabilité
द्वारा: Bouleau, Nicolas, 1945-, और अन्य
प्रकाशित: (1983)

Solvable cases of the decision problem
द्वारा: Ackermann, Wilhelm, 1896-1962
प्रकाशित: (1954)

Introduction to the theory of computation
द्वारा: Sipser, Michael
प्रकाशित: (2006)

Büchi's monadic second order successor arithmetic
द्वारा: Siefkes, Dirk

Complexité aléatoire et complexité organisée
द्वारा: Delahaye, Jean-Paul, 1952-
प्रकाशित: (2009)

Introduction à la calculabilité
द्वारा: Wolper, Pierre, 1955-
प्रकाशित: (1991)

Complexités : aux limites des mathématiques et de l'informatique
द्वारा: Delahaye, Jean-Paul, 1952-
प्रकाशित: (2006)

Journal of logic and computation.
प्रकाशित: (1990)

Le dixième problème de Hilbert : son indécidabilité
द्वारा: Matiâsevič, Ûrij Vladimirovič, 1947-
प्रकाशित: (1995)

Büchi's monadic second order successor arithmetic
द्वारा: Siefkes, Dirk
प्रकाशित: (1970)

The nature of computation : logic, algorithms, applications : proceedings
प्रकाशित: (2013)

Les théorèmes d'incomplétude de Gödel
द्वारा: Smullyan, Raymond Merrill, 1919-2017
प्रकाशित: (2000)

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

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
द्वारा: Lolli, Gabriele, 1942-
प्रकाशित: (2011)

Turing machines with sublogarithmic space
द्वारा: Szepietowski, Andrzej, 19..-

Elements of the theory of computation
द्वारा: Lewis, Harry R., 1947-, और अन्य
प्रकाशित: (1981)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
द्वारा: Leivant, Daniel

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

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

Introduction à la calculabilité : cours et exercices corrigés
द्वारा: Wolper, Pierre, 1955-
प्रकाशित: (2001)

Introduction à la logique
द्वारा: Leroux, Jean, 1948-
प्रकाशित: (1998)

Information, complexité et hasard
द्वारा: Delahaye, Jean-Paul, 1952-
प्रकाशित: (1994)

Éléments de logique formelle
द्वारा: Chazal, Gérard, 1947-
प्रकाशित: (1996)

Logique. Méthodes pour l'informatique fondamentale
द्वारा: Gochet, Paul, 1932-2011, logicien, और अन्य
प्रकाशित: (1990)

Calcul différentiel pour les langues de la logique : théorie et applications
द्वारा: Thayse, André, 1940-
प्रकाशित: (2004)

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

Logique mathématique
द्वारा: Kleene, Stephen Cole, 1909-1994
प्रकाशित: (1987)

Lambda-calcul : types et modèles
द्वारा: Krivine, Jean-Louis, 1939-
प्रकाशित: (1990)

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

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

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

Logique et modélisation : modèles consistants, données compatibles
द्वारा: Gondran, Michel, और अन्य
प्रकाशित: (1995)

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

Logique mathématique
द्वारा: Pabion, Jean-François, 1942-
प्रकाशित: (1976)

Tractable reasoning in artificial intelligence
द्वारा: Cadoli, Marco

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

CAAP '86 : 11th Colloquium on trees in algebra and programming, Nice, France, March 24-26, 1986 : proceedings

© 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