Logique. :: SCD d'Orléans

Logique. Méthodes pour l'informatique fondamentale

Logique. Volume 1, Méthodes pour l'informatique fondamentale

Guardat en:

Dades bibliogràfiques
Autors principals:	Gochet, Paul, 1932-2011, logicien, Gribomont, Pascal (Autor)
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Hermès DL 1990.
Col·lecció:	Langue, raisonnement, calcul
Matèries:	Probabilités Prédicat (logique) Théorie de la démonstration Intelligence artificielle Logique Calcul des prédicats Informatique Logique symbolique et mathématique
Nota:	Autres tirages : 1991, 1992, 1997, 1998
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Méthodes pour l'informatique fondamentale

Ítems similars

Introduction à la logique
per: Leroux, Jean, 1948-
Publicat: (1998)

Éléments de logique formelle
per: Chazal, Gérard, 1947-
Publicat: (1996)

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

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

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

Logique mathématique
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1987)

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

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

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

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

Part-whole reasoning in an object-centered framework
per: Lambrix, Patrick, 19..-

Logique pour l'informatique
per: Jaume, Mathieu, 1968-2023, et al.
Publicat: (2020)

Logique pour l'informatique
per: Jaume, Mathieu, 1968-2023, et al.
Publicat: (2020)

Logique. Méthodes formelles pour l'étude des programmes
per: Gochet, Paul, 1932-2011, et al.
Publicat: (1994)

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

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (1998)

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

Logique. Méthodes pour l'intelligence artificielle
per: Gochet, Paul, 1932-2011, et al.
Publicat: (2000)

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (2014)

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

The logic of information structures
per: Wansing, Heinrich, 1963-

Tableau systems for first order number theory and certain higher order theories
per: Toledo, Sue Ann, 1940-

Sur la logique des prépositions
per: Martin, Robert
Publicat: (2018)

Tableau systems for first order number theory and certain higher order theories
per: Toledo, Sue Ann, 1940-
Publicat: (1975)

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

Three Views of Logic : Mathematics, Philosophy, and Computer Science
per: Loveland, Donald W., et al.
Publicat: (2014)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Automated deduction in equational logic and cubic curves
per: McCune, William Walker, 1953-, et al.

A Puzzle about Tense, Number, and Voice in Chrysippus’ Logical Investigations
per: Ruge, Fabian
Publicat: (2025)

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
per: Kahle, Reinhard, 1967-

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
per: Parigot, Michel, 1956-...., mathématicien

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
per: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
per: Voronkov, Andrei, 1959-

Theory reasoning in connection calculi
per: Baumgartner, Peter, 1953-

A resolution principle for a logic with restricted quantifiers
per: Bürckert, Hans-Jürgen

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (1996)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
per: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
per: Baumgartner, Peter, 1953-

Isabelle/HOL : a proof assistant for higher-order logic
per: Nipkow, Tobias, 1958-..., informaticien, et al.

© 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