Theorem Proving in Higher Order Logics More Books Like This
Interactive Theorem Proving
2010
Interactive Theorem Proving
2011
Algebraic Methodology and Software Technology
2011
Automated Reasoning
2008
Programming Languages and Systems
2011
Functional and Logic Programming
2022
Automated Deduction – CADE-21
2007
Programming Languages and Systems
2023
Programming Languages and Systems
2009
Semantics and Algebraic Specification
2009
Rewriting Logic and Its Applications
2018
Functional and Logic Programming
2008
Types for Proofs and Programs
2007
Logic-Based Program Synthesis and Transformation
2008
Automated Reasoning
2010