| |
| 2002 | ||
|---|---|---|
| 4 | EE | Jean-François Nicaud, Denis Bouhineau, Thomas Huguet: The Aplusix-Editor: A New Kind of Software for the Learning of Algebra. Intelligent Tutoring Systems 2002: 178-187 |
| 1999 | ||
| 3 | Denis Bouhineau, Laurent Trilling, Jacques Cohen: An Application of CLP: Checking the Correctness of Theorems in Geometry. Constraints 4(4): 383-405 (1999) | |
| 1996 | ||
| 2 | Denis Bouhineau: Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. AISMC 1996: 274-288 | |
| 1 | Denis Bouhineau, Stéphane Channac: La programmation loique par contraintes pour l'aide à l'enseignant. Intelligent Tutoring Systems 1996: 333-342 | |
| 1 | Stéphane Channac | [1] |
| 2 | Jacques Cohen | [3] |
| 3 | Thomas Huguet | [4] |
| 4 | Jean-François Nicaud | [4] |
| 5 | Laurent Trilling | [3] |