Theorem Proving in Higher Order : 13th International Conference, Tphols 2000,...

Theorem Proving in Higher Order Logics: 14th International Conference, Tphols

Theorem Proving in Higher Order : 13th International Conference, Tphols 2000,...

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 20

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

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

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98

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