Interactive Theorem Proving - 9783319661063

Interactive Theorem Proving Third International Conference ITP 20

Ayala-Rincn - Interactive Theorem Proving 8th International Confere - X555z

Interactive Theorem Proving 4th International Conference ITP 2013

Interactive Theorem Proving 7th International Conference ITP 2016

Interactive Theorem Proving 6th International Conference ITP 2015

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

Higher Order Logic Theorem Proving and Its Applications 7th Inter