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

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

Theorem Proving in Higher Order Logic : 17th International Confer

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

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

Schubert - Higher Order Logic Theorem Proving and Its Applications 8 - X555z

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

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