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

Blanchette - Interactive Theorem Proving 7th International Conferenc - X555z

Interactive Theorem Proving - 9783319431437

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

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

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

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

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