Adapting Proofs-as-Programs المزيد من الكتب المشابهة

Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
٢٠٠٧
Rigorous Software Development Rigorous Software Development
Rigorous Software Development
٢٠١١
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٠
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
٢٠٠٨
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
٢٠١١
Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
٢٠٠٧
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠٠٨
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠٠٨
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
٢٠٠٩
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١١
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
٢٠٠٩
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠١٠
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١١
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
٢٠٠٧
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠