Interactive Theorem Proving - 9783319431437

Higher Order Logic Theorem Proving and Its Applications 7th Inter

Interactive Theorem Proving Third International Conference ITP 20

Blanchette - Interactive Theorem Proving 7th International Conferenc - X555z

Interactive Theorem Proving 4th International Conference ITP 2013

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.: