TPHOLs - What does TPHOLs stand for? The Free Dictionary
References in periodicals archive
In Theorem Proving in Higher Order Logics (TPHOLs
), volume 1690 of LNCS, pages 167-184, Nice (France), September 1999.
 Stefan Richter, "Formalizing integration theory with an application to probabilistic algorithms," in Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs
Or, from a mobile, text TPHOLS
followed by a space and then your answer to 88100 (excludes Virgin).