Search the dblp DataBase
Denis Bouhineau :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Denis Bouhineau Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:274-288 [Conf ] Denis Bouhineau , Stéphane Channac La programmation loique par contraintes pour l'aide à l'enseignant. [Citation Graph (0, 0)][DBLP ] Intelligent Tutoring Systems, 1996, pp:333-342 [Conf ] Jean-François Nicaud , Denis Bouhineau , Thomas Huguet The Aplusix-Editor: A New Kind of Software for the Learning of Algebra. [Citation Graph (0, 0)][DBLP ] Intelligent Tutoring Systems, 2002, pp:178-187 [Conf ] Denis Bouhineau , Laurent Trilling , Jacques Cohen An Application of CLP: Checking the Correctness of Theorems in Geometry. [Citation Graph (0, 0)][DBLP ] Constraints, 1999, v:4, n:4, pp:383-405 [Journal ] Search in 0.001secs, Finished in 0.001secs