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

Theorem Proving in Higher Order Logics

٢٠٠٨

Interactive Theorem Proving

٢٠١١

Algebraic Methodology and Software Technology

٢٠١١

Automated Reasoning

٢٠٠٨

Automated Deduction – CADE-21

٢٠٠٧

Functional and Logic Programming

٢٠١٠

Logic for Programming, Artificial Intelligence, and Reasoning

٢٠١٥

Programming Languages and Systems

٢٠٠٩

Programming Languages and Systems

٢٠١١

Automated Deduction – CADE 26

٢٠١٧

Functional and Logic Programming

٢٠٢٢

Frontiers of Combining Systems

٢٠٠٧

Automated Reasoning

٢٠١٠

Programming Languages and Systems

٢٠٢٣

Intelligent Computer Mathematics

٢٠٠٨