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

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

Interactive Theorem Proving - 9783319431437

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