Claudio Sacerdoti Coen

• Intelligent Computer Mathematics Lecture Notes in Artificial Intelligence
• Intelligent Computer Mathematics
• Functional and Constraint Logic Programming