Higher Order Logic Theorem Proving and Its Applications : 7th Int

Higher Order Logic Theorem Proving and Its Applications: 8th International: New

Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z

Higher Order Logic Theorem Proving and Its Applications: 7th International Works

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

Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :

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

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