Page personnelle

Thierry Boy De La Tour

Chargé de Recherche – LIG

Thèmes :

RCR – Représentation des connaissances et modélisation des raisonnements

PPC – Contraintes et SAT

Mots-clés :

• raisonnement

Modifier vos informations