Logic programming and its applications Ablex series in artificial intelligence

Logic programming and its applications Ablex series in artificial intelligence

Enregistré dans:

Détails bibliographiques
Auteur principal:	Van Caneghen, M.
Autres auteurs:	Warren, David H.-D.
Support:	Livre
Langue:	Anglais
Publié:	[S.l.] : Ed. Ablex Publishing Corporation, 1986.
Sujets:	Programmation logique > Congrès. Logique symbolique et mathématique > Congrès. Ordinateurs > Programmation > Congrès. Langages de programmation > Congrès.

Documents similaires

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

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

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

Logic for problem solving
par: Kowalski, Robert A.
Publié: (1979)

Progress in mathematical programming : interior-point and related methods
Publié: (1989)

Computing with logic : logic programming with Prolog
par: Maier, David, 1953-
Publié: (1988)

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

L'argumentation
Publié: (1991)

Computational mathematical programming
Publié: (1985)

From logic to logic programming
par: Doets, Kees.
Publié: (1994)

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

Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974
Publié: (1974)

Programmer les contraintes
par: Georget, Yan.
Publié: (2006)

Fuzzy sets and their applications to cognitive and decision processes : [papers]
Publié: (1975)

The Practice of Prolog
Publié: (1990)

Nonlinear optimization : theory and algorithms
par: Dixon, L. C. W.
Publié: (1976)

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

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings
Publié: (1992)

Programmation en logique.
par: Boizumault, Patrice.
Publié: (1984)

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

Du dialogue au texte : autour de Francis Jacques
Publié: (2003)

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

Readings in artificial intelligence
par: Nilsson, Nils J., 1933-
Publié: (1981)

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

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

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

An Intermediate logic
par: Welton, James.
Publié: (1930)

L'intelligence artificielle pour les développeurs : concepts et implémentations en C#
par: Mathivet, Virginie.
Publié: (2014)

Des méthodes pour développer l'intelligence : EM, PEI, Tanagra, ARL : présentation à l'intention des enseignants, des formateurs et des responsables de formation
par: Jean-Montcler, Gérard.
Publié: (1991)

Logics II : a sociobiological approach to social and other logics
par: Parker, James Hill.
Publié: (1992)

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

Logic primer
par: Allen, Colin.
Publié: (2001)

Operations research in progress
Publié: (1982)

L'Université peut-elle vraiment former les enseignants ? : Quelles tensions ? Quelles modalités ? Quelles conditions ?
Publié: (2009)

Les contenus disciplinaires : approches comparatistes
Publié: (2013)

512 problèmes corrigés Pascal, C++, Lisp, Prolog
par: Gacôgne, Louis.
Publié: (1996)

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

La programmation avec ScratchJr : [cycles 2 et 3] : développer la pensée logique
par: Crochet, Frédéric.
Publié: (2019)

Espaces sonores : actes de recherche
Publié: (2003)

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

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