A CLP-based tool for computer aided generation and solving of maths exercises
Practical Aspects of Declarative Languages, Proceedings | 2003 | article
Publication
Year of publication: 2003
Volume : 2562
Pages : 223-240
Month :
CMUP publication : Yes
Authors