Logic Programming 비슷한 책 더 보기
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년