Interactive Theorem Proving المزيد من الكتب المشابهة

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
٢٠٠٨
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
٢٠٠٨
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠٠٨
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 Deduction – CADE 26 Automated Deduction – CADE 26
Automated Deduction – CADE 26
٢٠١٧
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
٢٠١٥
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
٢٠٠٧
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠١٠
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
٢٠٠٧
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
٢٠١١
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠١٠
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠٢٢
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
٢٠٠٩