A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.

Ana Paula Toms, Jos Paulo Leal

Browse the full PADL paper archive.