 |
 |
Conference papers
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.
Keywords :
ProLog
counterexamples
https://telearn.archives-ouvertes.fr/hal-00190301
Contributor : Jerome Zeiliger <>
Submitted on : Friday, November 23, 2007 - 8:39:55 AM
Last modification on : Wednesday, September 18, 2019 - 1:31:52 AM
Document(s) archivé(s) le : Monday, April 12, 2010 - 3:54:34 AM
Contributor : Jerome Zeiliger <>
Submitted on : Friday, November 23, 2007 - 8:39:55 AM
Last modification on : Wednesday, September 18, 2019 - 1:31:52 AM
Document(s) archivé(s) le : Monday, April 12, 2010 - 3:54:34 AM
File
Bouhineau-Denis-1996.pdf
Files produced by the author(s)
