Pierre Bourhis
Chargé de Recherche – UMR 9189 CRIStAL
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
Mots-clés :
(aucun mot-clé)
Chargé de Recherche – UMR 9189 CRIStAL
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
(aucun mot-clé)