Logic-Based Program Synthesis and Transformation 비슷한 책 더 보기
Logic-Based Program Synthesis and Transformation
2009년
Logic-Based Program Synthesis and Transformation
2008년
Logic-Based Program Synthesis and Transformation
2017년
Algebraic Methodology and Software Technology
2011년
Programming Languages and Systems
2009년
Programming Languages and Systems
2010년
Logic-Based Program Synthesis and Transformation
2022년
Logic Programming
2009년
Theoretical Aspects of Computing – ICTAC 2010
2010년
Functional and Logic Programming
2018년
Logic-Based Program Synthesis and Transformation
2020년
Logic-Based Program Synthesis and Transformation
2015년
Programming Languages and Systems
2011년
Functional and Logic Programming
2022년
Tools and Algorithms for the Construction and Analysis of Systems
2008년