Logic for problem solving

Logic for problem solving

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kowalski, Robert A.
Support:	Livre
Langue:	Anglais
Publié:	New York ; Amsterdam ; Oxford : North-Holland, 1979.
Collection:	Artificial intelligence series 7 The Computer science library
Sujets:	Logique symbolique et mathématique. Résolution de problème. Programmation (informatique). Résolution de problème Programmation (informatique) > Logique symbolique et mathématique Programmation (mathématiques)
Autres localisations:	Voir dans le Sudoc

Documents similaires

Logic programming and its applications Ablex series in artificial intelligence
par: Van Caneghen, M.
Publié: (1986)

Approche logique de l'intelligence artificielle.
Publié: (1988)

Elements of symbolic logic
par: Reichenbach, Hans, 1891-1953.
Publié: (1966)

Metaheuristics : from design to implementation
par: Talbi, El-Ghazali, 1965-...., auteur en informatique.
Publié: (2009)

Méthodes de logique
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1973)

Jeux-problèmes : de la logique à l'intelligence artificielle
par: Friant, Jean.
Publié: (1986)

La logique
par: Largeault, Jean, 1931?-1995.
Publié: (1993)

Logique sans peine
par: Carroll, Lewis, 1832-1898.
Publié: (1966)

Matrix logic and mind : a probe into a unified theory of mind and matter.
par: Stern, Auguste.
Publié: (1992)

Logique et complexité
par: Lassaigne, Richard.
Publié: (1996)

Logique élémentaire
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1972)

Logique contemporaine et formalisation
par: Martin, Roger, docteur ès-lettres.
Publié: (1964)

Logique mathématique : cours et exercices
par: Cori, René.
Publié: (1993)

Initiation à la logique
par: Dubarle, Dominique, 1907-1987.
Publié: (1957)

La mathématisation comme problème
Publié: (2011)

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1972)

Penser les mathématiques
Publié: (1982)

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
par: Leibniz, Gottfried Wilhelm, 1646-1716.
Publié: (1961)

Constraint logic programming : selected research
Publié: (1993)

La Magie des paradoxes
par: Gardner, Martin.
Publié: (1980)

Logique et mathématiques pour l'informatique et l'I.A. : 109 exercices corrigés
par: Jacquemin, Christian.
Publié: (1994)

La machine en logique
par: Wagner, Pierre, 1963-
Publié: (1998)

Foundations of logic programming
par: Lloyd, J. W.
Publié: (1987)

Inductive logic programming
par: Muggleton, Stephen.
Publié: (1992)

Logique binaire et ordinateurs.
par: Aumiaux, Michel.
Publié: (1974)

Les mathématiques et le raisonnement plausible
par: Pólya, George, 1887-1985.
Publié: (2008)

Techniques of structured problem solving
par: VanGundy, Arthur B., 19..-
Publié: (1988)

Raisonnements sur des informations incomplètes en intelligence artificielle : comparaison de formalismes à partir d'un exemple
par: Sombé, Léa, pseud. coll.
Publié: (1989)

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1974)

Logiques non monotones et intelligence artificielle
par: Grégoire, Eric.
Publié: (1990)

Je le vois, je le démontre, mais est-ce que je le comprends ?
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2017)

Résoudre des problèmes CP : manipuler et calculer
par: Henaff, Christian, 19..-...., conseiller pédagogique.
Publié: (2021)

La logique formelle
par: Virieux-Reymond, Antoinette.
Publié: (1962)

Théorie des graphes
par: Cogis, Olivier.
Publié: (2018)

Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: (1969)

From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931.
par: Van Heijenoort, Jean.
Publié: (1977)

Ethnlogie des sciences et logiques de la science
par: Guille-Escuret, Georges.
Publié: (1991)

Cours de logique mathématique.
par: Fraïssé, Roland, 1920-
Publié: (1967)

Gödel's proof
par: Nagel, Ernest, 1901-1985.
Publié: (1959)

Penser types plutôt qu'ensembles
par: Pajot, Philippe.
Publié: (2013)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1