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

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

Theorem Proving in Higher Order Logic : 17th International Confer

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

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

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

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

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