Page personnelle

Nadjib Lazaar

Matre de Confrence – LIRMM

Thèmes :

RCR – Reprsentation des connaissances et modlisation des raisonnements

PPC – Contraintes et SAT

APP – Apprentissage

Mots-clés :

  • Acquisition de contraintes
  • Fouille dclarative
  • Vrification et Validation

Modifier vos informations