La programmation logique par contraintes pour l'aide à l'enseignant - Archive ouverte HAL Access content directly
Conference Papers Year : 1996

La programmation logique par contraintes pour l'aide à l'enseignant

(1) , (1)
1

Abstract

Prise en compte de l'enseignant pour invalider des production d'apprenant par construction automatique de contre-exemples.

Keywords

Fichier principal
Vignette du fichier
Bouhineau-Denis-1996.pdf (175.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00190301 , version 1 (23-11-2007)

Identifiers

  • HAL Id : hal-00190301 , version 1

Cite

Denis Bouhineau, Stéphane Channac. La programmation logique par contraintes pour l'aide à l'enseignant. Third International Conference on Intelligent Tutoring Systems ITS'96, 1996, Montréal, Canada. pp.333-342. ⟨hal-00190301⟩
127 View
219 Download

Share

Gmail Facebook Twitter LinkedIn More