Interactive Theorem Proving - 9783319221014

Interactive Theorem Proving Third International Conference ITP 20

Higher Order Logic Theorem Proving and Its Applications 6th Inter

Interactive Theorem Proving 4th International Conference ITP 2013

Interactive Theorem Proving 7th International Conference ITP 2016

Interactive Theorem Proving 8th International Conference ITP 2017

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

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