Theorem Proving in Higher Order Logics المزيد من الكتب المشابهة

Interactive Theorem Proving

٢٠١٠

Interactive Theorem Proving

٢٠١١

Algebraic Methodology and Software Technology

٢٠١١

Functional and Logic Programming

٢٠١٠

Automated Reasoning

٢٠٠٨

Programming Languages and Systems

٢٠١١

Functional and Logic Programming

٢٠٢٢

Automated Deduction – CADE-21

٢٠٠٧

Programming Languages and Systems

٢٠٢٣

Programming Languages and Systems

٢٠٠٩

Theoretical Aspects of Computing – ICTAC 2010

٢٠١٠

Semantics and Algebraic Specification

٢٠٠٩

Rewriting Logic and Its Applications

٢٠١٨

Functional and Logic Programming

٢٠٠٨

Types for Proofs and Programs

٢٠٠٧