Page personnelle Laurent Trilling Professeur – TIMC-IMAG Thèmes : PPC – Contraintes et SAT Mots-clés : Modélisation logique réseaux biologiques Modifier vos informations Tweet