 |
 |
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 Connect in order to contact the contributor
Submitted on : Friday, November 23, 2007 - 8:39:55 AM
Last modification on : Wednesday, September 15, 2021 - 2:34:04 PM
Long-term archiving on: : Monday, April 12, 2010 - 3:54:34 AM
Contributor : Jerome Zeiliger Connect in order to contact the contributor
Submitted on : Friday, November 23, 2007 - 8:39:55 AM
Last modification on : Wednesday, September 15, 2021 - 2:34:04 PM
Long-term archiving on: : Monday, April 12, 2010 - 3:54:34 AM
File
Bouhineau-Denis-1996.pdf
Files produced by the author(s)