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

Ana Paula Tomás José Paulo Leal

Published in: PADL (2003)

Keyphrases

computer aided
computer assisted
design tools
computer aided diagnosis
diagnosis of breast cancer
constraint logic programming
capsule endoscopy
computer aided design
image analysis
process planning
image processing
cad systems
differential diagnosis