Page personnelle

Pierre-Alain Yvars

Professeur – QUARTZ

Page personnelle

Thèmes :

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

PPC – Contraintes et SAT

PRH – Planification et Recherche Heuristique

Mots-clés :

• synthèse de système

Modifier vos informations