Denis Bouhineau

	2002
4		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

Coauthor Index

1	Stéphane Channac	[1]
2	Jacques Cohen	[3]
3	Thomas Huguet	[4]
4	Jean-François Nicaud	[4]
5	Laurent Trilling	[3]

Colors in the list of coauthors