Complexités : :: SCD d'Orléans

$Complexités : aux limites des mathématiques et de l'informatique$

Complexités : aux limites des mathématiques et de l'informatique

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Delahaye, Jean-Paul, 1952-
Aineistotyyppi:	Livre papier
Kieli:	Français
Julkaistu:	Paris : Belin : Pour la science DL 2006.
Sarja:	Bibliothèque scientifique
Aiheet:	Logique symbolique et mathématique Complexité de calcul (informatique) Intelligence artificielle
Huomautus:	Autre tirage : 2007
Autres localisations:	Voir dans le Sudoc

Samankaltaisia teoksia

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

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

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

Information, complexité et hasard
Tekijä: Delahaye, Jean-Paul, 1952-
Julkaistu: (1994)

Tractable reasoning in artificial intelligence
Tekijä: Cadoli, Marco

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

Logique. Méthodes pour l'informatique fondamentale
Tekijä: Gochet, Paul, 1932-2011, logicien, et al.
Julkaistu: (1990)

Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings

Journal of logic and computation.
Julkaistu: (1990)

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

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

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)

Elements of the theory of computation
Tekijä: Lewis, Harry R., 1947-, et al.
Julkaistu: (1981)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
Tekijä: 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

Complexité et décidabilité
Tekijä: Dehornoy, Patrick, 1952-2019, mathématicien
Julkaistu: (1993)

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

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

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

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

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

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

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings

Fundamentals of artificial intelligence : an advanced course
Tekijä: Bibel, Wolfgang, 1938-

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Trees in algebra and programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22 24, 1996 : proceedings

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : 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