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

Logic-Based Program Synthesis and Transformation

٢٠١١

Logic-Based Program Synthesis and Transformation

٢٠٠٨

Programming Languages and Systems

٢٠١٠

Programming Languages and Systems

٢٠١١

Logic-Based Program Synthesis and Transformation

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠١٧

Theoretical Aspects of Computing – ICTAC 2010

٢٠١٠

Programming Languages and Systems

٢٠٠٩

Logic Programming

٢٠٠٩

Verification, Model Checking, and Abstract Interpretation

٢٠١١

Functional and Logic Programming

٢٠١٠

Algebraic Methodology and Software Technology

٢٠١١

Functional and Logic Programming

٢٠٢٢

Logic-Based Program Synthesis and Transformation

٢٠٢٢

Programming Languages and Systems

٢٠٠٩