3 works on record
Intelligent Computer Mathematics Lecture Notes in Artificial Intelligence
Intelligent Computer Mathematics
Functional and Constraint Logic Programming