Constraint Handling Rules More Books Like This
Logic-Based Program Synthesis and Transformation
2008
Logic Programming
2009
Logic-Based Program Synthesis and Transformation
2009
Logic-Based Program Synthesis and Transformation
2018
Functional and Logic Programming
2008
Logic-Based Program Synthesis and Transformation
2011
Programming Languages and Systems
2011
Logic-Based Program Synthesis and Transformation
2017
Logic-Based Program Synthesis and Transformation
2015
Logic-Based Program Synthesis and Transformation
2019
Programming Languages and Systems
2009
Logic Programming and Nonmonotonic Reasoning
2011
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Programming Languages and Systems
2009
Declarative Programming and Knowledge Management
2018