Claudio Sacerdoti CoenBooksFunctional and Constraint Logic ProgrammingIntelligent Computer MathematicsIntelligent Computer Mathematics Lecture Notes in Artificial IntelligenceAuthor data: Open Library