Logic-Based Program Synthesis and Transformation المزيد من الكتب المشابهة

Logic-Based Program Synthesis and Transformation

٢٠٠٩

Logic-Based Program Synthesis and Transformation

٢٠٠٨

Logic-Based Program Synthesis and Transformation

٢٠١٧

Algebraic Methodology and Software Technology

٢٠١١

Programming Languages and Systems

٢٠٠٩

Programming Languages and Systems

٢٠١٠

Logic-Based Program Synthesis and Transformation

٢٠٢٢

Logic Programming

٢٠٠٩

Theoretical Aspects of Computing – ICTAC 2010

٢٠١٠

Functional and Logic Programming

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠٢٠

Logic-Based Program Synthesis and Transformation

٢٠١٥

Programming Languages and Systems

٢٠١١

Functional and Logic Programming

٢٠٢٢

Tools and Algorithms for the Construction and Analysis of Systems

٢٠٠٨