13601249
Programmation en logique avec contraintes, 2000. - . - Internet, http://web.dsi.cnrs.fr/l3c/owa/annuaire.recherche, http://gbm.esil.univ-mrs.fr, 2001-05-14. - . -
Laboratoire d'informatique. Marseille
Centre national de la recherche scientifique. Formation de recherche en évolution. France (2246)
Centre national de la recherche scientifique. Unité de recherche associée. France (1787)
Centre national de la recherche scientifique. Unité propre de recherche de l'enseignement supérieur associée. France (6077)
Ecole supérieure d'ingénieurs de Luminy. Laboratoire d'informatique. Marseille
LIM
Université d'Aix-Marseille II. Laboratoire d'informatique
Université de Provence. Laboratoire d'informatique
2001-01-09
2001-05-14
Laboratoire d'informatique. Marseille