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

Logic-Based Program Synthesis and Transformation

٢٠١٧

Programming Languages and Systems

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠١٩

Logic-Based Program Synthesis and Transformation

٢٠١٥

Logic for Programming, Artificial Intelligence, and Reasoning

٢٠١٥

Programming Languages and Systems

٢٠١٦

Logic-Based Program Synthesis and Transformation

٢٠١٨

Functional and Logic Programming

٢٠١٨

Programming Languages and Systems

٢٠١٧

Programming Languages and Systems

٢٠١٧

Logic Programming and Nonmonotonic Reasoning

٢٠١٧

Programming Languages and Systems

٢٠١٦

Theoretical Aspects of Computing – ICTAC 2016

٢٠١٦

Perspectives of System Informatics

٢٠١٥

Verification, Model Checking, and Abstract Interpretation

٢٠١٥