Theorem Proving with Analytic Tableaux and Related Methods: 4th International

Interactive Theorem Proving Third International Conference ITP 20

Theorem Proving with Analytic Tableaux and Related Methods: 4th International

Interactive Theorem Proving 7th International Conference ITP 2016

Interactive Theorem Proving 6th International Conference ITP 2015

Interactive Theorem Proving 8th International Conference ITP 2017

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

Higher Order Logic Theorem Proving and Its Applications 7th Inter