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

Blanchette - Interactive Theorem Proving 7th International Conferenc - X555z

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

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

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

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

Theorem Proving in High Order Logics : 12th International Conference, Tphols'...

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