Contribution à l'étude des techniques de propagation de contraintes symboliques et
numériques pour le raisonnement temporel / Malek Mouhoub, 1996
aRecent Trends and Future Technology in Applied Intelligence : 31st International
Conference on Industrial Engineering and Other Applications of Applied Intelligent
Systems : IEA-AIE 2018, Montreal, QC, Canada, June 25-28,2018 Proceedings / Malik
Mouhoub, Samira Sadaoui, Otmane Ait Mohamed, Moonis Ali ( Eds.), 2018