Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...

Klein - Interactive Theorem Proving 5th International Conference IT - X555z

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...

Interactive Theorem Proving: - Paperback, by Beringer Lennart Felty - Very Good

Theorem Proving in Higher Order Logics : 20th International Conference, Tphol...