Higher Order Logic Theorem Proving and Its Applications 6th Inter

Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z

First-Order Logic and Automated Theorem Proving

Higher Order Logic Theorem Proving and its Applications by Claesen & Gordon

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

Theorem Proving in Higher Order Logics 16th International Confere

Theorem Proving Practices Daniel P. Friedman (Author) Carl Eastlund Used 1

Interactive Theorem Proving 7th International Conference ITP 2016