Sys Cons. Général - Centre de recherche LICEF
Voici un exemple de dialogue[1] de WHY avec un apprenant sur le sujet de la ...
méthode scientifique comme la cueillette de données et leur examen
systématique. ..... de résoudre un problème ou d'accomplir une tâche donnée en
exercice. .... un résolveur de contraintes, au sens informatique du terme comme
dans Prolog ...