Diagrammes de décision : contraintes et algorithmes / Guillaume Perez ; sous la direction
de Jean-Charles Régin. Thèse de doctorat : Informatique : Côte d'Azur : 2017
Information trouvée : rapporteur de thèse, membre du jury
Langage de règles et moteur d'inférences basés sur des contraintes et des actions
: application aux réseaux de Petri / Nicolas Beldiceanu, 1988 [thèse univ.]