TALC : un tuteur pour la construction de figures géométriques logiquement correctes

Cyrille Desmoulins. TALC : un tuteur pour la construction de figures géométriques logiquement correctes. In Jean-Jacques Chabrier, editor, JFPLC 95, IVèmes Journées Francophones de Programmation en Logique & Journée d étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France. pages 401-404, 1995.

Abstract

Abstract is missing.