Functional and Constraint Logic ProgrammingMichael Hanus, Claudio Sacerdoti Coen · First published 2021Open the Tome
Intelligent Computer MathematicsCezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen · First published 2019Open the Tome
Intelligent Computer Mathematics Lecture Notes in Artificial IntelligenceClaudio Sacerdoti Coen · First published 2009Open the Tome
