D E A d'Informatique

Niveau: Supérieur

• rapport de stage

Departement d'Informatique Universite d'Orleans Rapport de Stage D.E.A. d'Informatique Presente par: GOUMAIRI Abdelkhalek soutenu le 8 septembre 1998 Theme Simplication de contraintes sur les domaines nis Responsable du stage Monsieur: Alexandre Tessier

• programmtion logique par contraintes


• simplication de la redondance via la transformation


• classes de redondances


• projet esprit


• session de diagnostic declaratif d'erreur


• simplication des contraintes arithmetiques


• ches de l'equipe loco dans le projet discipl


• equipe loco