Page personnelle

Siegel Pierre

Professeur – LIS UMR 7020

Thèmes :

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

PPC – Contraintes et SAT

Mots-clés :

• Logiques
• SAT
• Applications
• Bio Informatique

Modifier vos informations