La programmation logique par contraintes pour l'aide à l'enseignant
Résumé
Prise en compte de l'enseignant pour invalider des production d'apprenant par construction automatique de contre-exemples.
Origine : Fichiers produits par l'(les) auteur(s)