Logique(s), langages formels et complexité pour l'informatique :: SCD d'Orléans

Logique(s), langages formels et complexité pour l'informatique

Logique(s), langages formels et complexité pour l'informatique

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Jussien, Narendra, 1973-
Další autoři:	L'Hospitalier, Yvon (Autor úvodu atd.)
Médium:	Livre papier
Jazyk:	Français
Vydáno:	Paris : Hermes science publ. : Lavoisier C 2006.
Edice:	Collection Informatique
Témata:	Logique symbolique et mathématique Langages formels Complexité de calcul (informatique) Logique informatique
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Elements of the theory of computation
Autor: Lewis, Harry R., 1947-, a další
Vydáno: (1981)

Logique et complexité
Autor: Lassaigne, Richard, a další
Vydáno: (1996)

Complexités : aux limites des mathématiques et de l'informatique
Autor: Delahaye, Jean-Paul, 1952-
Vydáno: (2006)

Langages formels, calculabilité et complexité
Autor: Carton, Olivier, 19..-...., mathématicien
Vydáno: (2008)

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

Comprendre les méthodes formelles : panorama et outils logiques
Autor: Monin, Jean-François
Vydáno: (1996)

Langages formels : calculabilité et complexité : cours et exercices corrigés
Autor: Carton, Olivier
Vydáno: (2014)

Logique pour l'informatique : introduction à la déduction automatique : cours et exercices, licence d'informatique
Autor: Cerrito, Serenella
Vydáno: (2008)

Complexité aléatoire et complexité organisée
Autor: Delahaye, Jean-Paul, 1952-
Vydáno: (2009)

Introduction à l'informatique théorique
Autor: Bourda, Yolaine, 19..-, a další
Vydáno: (1994)

Introduction à la calculabilité
Autor: Wolper, Pierre, 1955-
Vydáno: (1991)

Intelligence artificielle et informatique théorique
Autor: Alliot, Jean-Marc, 1962-, a další
Vydáno: (1994)

Journal of logic and computation.
Vydáno: (1990)

The nature of computation : logic, algorithms, applications : proceedings
Vydáno: (2013)

Grammar and L forms : an introduction
Autor: Wood, Derick, 1940-

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

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

Logique. Méthodes pour l'informatique fondamentale
Autor: Gochet, Paul, 1932-2011, logicien, a další
Vydáno: (1990)

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

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
Autor: Lolli, Gabriele, 1942-
Vydáno: (2011)

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
Autor: Markey, Nicolas, 1976-
Vydáno: (2003)

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

Informatique MP2I/MPI : CPGE 1re et 2e années
Autor: Barra, Vincent, 19..-...., chercheur en informatique de modélisation
Vydáno: (2021)

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

Éléments de logique formelle
Autor: Chazal, Gérard, 1947-
Vydáno: (1996)

Information, complexité et hasard
Autor: Delahaye, Jean-Paul, 1952-
Vydáno: (1994)

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

Developments in language theory : 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings

Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16 21, 2001 : revised papers

Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers

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

Informatique MP2I/MPI : CPGE 1re et 2e années
Autor: Barra, Vincent, 19..-...., chercheur en informatique de modélisation
Vydáno: (2021)

Logique pour l'informatique
Autor: Jaume, Mathieu, 1968-2023, a další
Vydáno: (2020)

Logique pour l'informatique
Autor: Jaume, Mathieu, 1968-2023, a další
Vydáno: (2020)

New trends in formal languages : control, cooperation, and combinatorics
Autor: Păun, Gheorghe, 1950-

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982

© 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