Logic-Based Program Synthesis and Transformation Plus de livres par Michael Hanus
Practical Aspects of Declarative Languages
2023
Functional and Logic Programming
2022
Declarative Programming and Knowledge Management
2018
Declarative Programming and Knowledge Management
2014
Practical Aspects of Declarative Languages
2006
Applications of Declarative Programming and Knowledge Management
2009