Constraint logic programming : selected research

Constraint logic programming : selected research

Enregistré dans:

Détails bibliographiques
Autres auteurs:	Benhamou, Frédéric, 1960-, Colmerauer, Anne, 1966-
Support:	Livre
Langue:	Anglais
Publié:	Cambridge, Mass. : MIT Press, c1993.
Collection:	Logic programming
Sujets:	Programmation par contraintes. Programmation logique. Programmation logique Programmation par contraintes
Autres localisations:	Voir dans le Sudoc

Documents similaires

Programmation par contraintes
par: Fron, Annick.
Publié: (1994)

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

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

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

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

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

Constraint-Based Reasoning
par: Freuder, Eugene C.
Publié: (1994)

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

The Practice of Prolog
Publié: (1990)

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

De la programmation linéaire à la programmation par contraintes
par: Bourreau, Éric.

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

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

Tour Eiffel : Son bilan de santé est enfin révélé
par: Valin, Muriel.
Publié: (2011)

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

La définition des objectifs pédagogiques : bases, composantes et références de ces techniques
par: Pocztar, Jerry.
Publié: (1979)

Linear programming
par: Chvátal, Vasek, 1946-
Publié: (1983)

Mathematical programming : theory and algorithms
par: Minoux, Michel.
Publié: (1986)

Calcul par l'informatique : méthode logique d'enseignement des mathématiques
par: Bertin, Marie-José.
Publié: (1983)

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

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

Object-oriented simulation with hierarchical, modular models : intelligent agents and endomorphic systems
par: Zeigler, Bernard P., 1940-
Publié: (1990)

Programmable Logic Controllers
par: Bolton, W..

Linear and non linear programming
par: Luenberger, David G.
Publié: (1984)

Studies in linear and non linear programming
par: Arrow, Kenneth J.
Publié: (1972)

Introduction to programming in Python : an interdisciplinary approach
par: Sedgewick, Robert, 1946-
Publié: (2015)

Nonlinear programming
par: Bertsekas, Dimitri P., 1942-
Publié: (2003)

Mitsubishi FX Programmable Logic Controllers
par: Ridley, John.

La Simulation, initiation pratique au G.P.S.S. : (general purpose simulation system), par J.R. Sulzer,... P. Bouteille,... P. Arquie,... J. L. Bouchet,... [etc.].
Publié: (1970)

Integer programming
par: Garfinkel, Robert.
Publié: (1972)

Introduction to dynamic programming
par: Cooper, Leon, 1924-
Publié: (1981)

Object-oriented development : building CASE Tools with C++
par: Brumbaugh, David E.
Publié: (1994)

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)

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

Introduction to programming in java : an interdisciplinary approach
par: Sedgewick, Robert, 1946-
Publié: (2008)

Model building in mathematical programming
par: Williams, H. P.
Publié: (1985)

L'Enseignement programmé
par: Montmollin, Maurice de, 1926-
Publié: (1975)

Recueil des pratiques pédagogiques autour de LOGO : recherche coopérative sur programme Pratique active de l'informatique par l'enfant [nů97]
Publié: (1984)

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

Nonlinear Programming : theory and algorithms
par: Bazaraa, Mokhtar S.
Publié: (1979)

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