Le moteur de recherche
des thèses françaises
François Fages
IdRefMots clés
FR |
EN
Programmation par contraintes
Biologie systémique
Bioinformatique
Biologie des systèmes
Apprentissage automatique
Modèles mathématiques
Informatique
Programmation logique
Algorithmes
Modélisation à base de règles
Vérification de modèles (informatique)
Prolog (langage de programmation)
Logique temporelle
Cycle cellulaire
Représentation des connaissances
Systèmes biologiques
Interprétation abstraite
Méthodes formelles (informatique)
Optimisation combinatoire
Calcul formel