Logic Programming More Books Like This
Logic Programming and Nonmonotonic Reasoning
2011
Logic Programming and Nonmonotonic Reasoning
2022
Logic-Based Program Synthesis and Transformation
2008
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011
Algebraic Methodology and Software Technology
2011
Rules and Reasoning
2022
Logic-Based Program Synthesis and Transformation
2011
Logic Programming and Nonmonotonic Reasoning
2017
Logic-Based Program Synthesis and Transformation
2009
Programming Languages and Systems
2011
Logic Programming and Nonmonotonic Reasoning
2015
Verification, Model Checking, and Abstract Interpretation
2011
Functional and Logic Programming
2022
Logic-Based Program Synthesis and Transformation
2020
Functional and Logic Programming
2008