Algebraic Methodology and Software Technology المزيد من الكتب المشابهة

Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
٢٠٠٨
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٠
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٠٨
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
٢٠٠٩
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١١
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠١٠
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١١
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
٢٠١٦
Logic Programming Logic Programming
Logic Programming
٢٠٠٩
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠٢٢
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٠٩
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٢٢
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
٢٠١١
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٢٣