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

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

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

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

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

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOL...

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

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