Éléments de logique formelle :: SCD d'Orléans

Éléments de logique formelle

Éléments de logique formelle

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Chazal, Gérard, 1947-
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris : Hermès DL 1996.
Fag:	Calcul des prédicats Calcul des propositions Logique symbolique et mathématique Logique
Autres localisations:	Voir dans le Sudoc

Lignende værker

Logique mathématique
af: Kleene, Stephen Cole, 1909-1994
Udgivet: (1987)

Manuel de logique : introduction à la logique des dialogues : exercices corrigés : manuel de logique
af: McConaughey, Zoé, 1991-
Udgivet: (2026)

Eléments de logique classique : avec exercices résolus et questionnaire d'examen
af: Mutombo, Marc
Udgivet: (2003)

Introduction à la logique
af: Leroux, Jean, 1948-
Udgivet: (1998)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
af: Vernant, Denis, 1948-
Udgivet: (2001)

Logique. Méthodes pour l'informatique fondamentale
af: Gochet, Paul, 1932-2011, logicien, et autres
Udgivet: (1990)

Logique mathématique
af: Pabion, Jean-François, 1942-
Udgivet: (1976)

Logique mathématique. Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices
af: Cori, René, mathématicien, et autres
Udgivet: (1993)

Notions de logique
af: Thiry, Philippe, 1949-
Udgivet: (1998)

Büchi's monadic second order successor arithmetic
af: Siefkes, Dirk

Notions de logique
af: Thiry, Philippe, 1949-
Udgivet: (2014)

Introduction à la logique contemporaine
af: Blanché, Robert, 1898-1975
Udgivet: (1969)

La logique, pas à pas
af: Duparc, Jacques, 1962-
Udgivet: (2015)

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

Logique mathématique. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
af: Cori, René, 1949-...., mathématicien, et autres
Udgivet: (2003)

Büchi's monadic second order successor arithmetic
af: Siefkes, Dirk
Udgivet: (1970)

Notions de logique
af: Thiry, Philippe, 1949-
Udgivet: (1996)

Logique et complexité
af: Lassaigne, Richard, et autres
Udgivet: (1996)

Eine Termlogik mit Auswahloperator
af: Hermes, Hans, 1912-2003

Elements of the theory of computation
af: Lewis, Harry R., 1947-, et autres
Udgivet: (1981)

Calcul différentiel pour les langues de la logique : théorie et applications
af: Thayse, André, 1940-
Udgivet: (2004)

Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

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

Gentzen calculi for modal propositional logic
af: Poggiolesi, Francesca, 1980-

Lambda-calcul : types et modèles
af: Krivine, Jean-Louis, 1939-
Udgivet: (1990)

Les fondements sémantiques du discours naturel
af: Gardies, Jean-Louis, 1925-2004
Udgivet: (1994)

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

Non-standard inferences in description logics
af: Küsters, Ralf, 1972-...., informaticien

Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre
af: Devismes, Stéphane, 1979-, et autres
Udgivet: (2012)

Journal of logic and computation.
Udgivet: (1990)

Recursion on the countable functionals
af: Normann, Dag, 1947-

Symbolic-Numeric Computation

The computational complexity of logical theories
af: Ferrante, Jeanne, 1949-, et autres

The logic system of concept graphs with negation : and its relationship to predicate logic
af: Dau, Frithjof

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

Complexité aléatoire et complexité organisée
af: Delahaye, Jean-Paul, 1952-
Udgivet: (2009)

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
af: Lolli, Gabriele, 1942-
Udgivet: (2011)

Activités mathématiques au cours préparatoire.
af: Heffe, Paul, et autres
Udgivet: (1978)

Initiation à l'approche logique et au calcul
Udgivet: (1973)

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

© 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