Page personnelle

Siegel Pierre

Professeur – LIS UMR 7020

Thèmes :

RCR – Reprsentation des connaissances et modlisation des raisonnements

PPC – Contraintes et SAT

Mots-clés :

  • Logiques
  • SAT
  • Applications
  • Bio Informatique

Modifier vos informations