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
Theoretical Aspects of Computing – ICTAC 2010
2010
Logic-Based Program Synthesis and Transformation
2020