TPHOL

AcronymDefinition
TPHOLTheorem Proving in Higher Order Logics
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
TEXT TPHOL, then a space, then your answer (a, b or c), your name, house number and postcode.
TEXT TPHOL, then a space, then your answer (a, b or c) then a space and your name, house number and postcode to 84080 (53307 RoI).
CALL 0901 553 0600 (1540 787 938 RoI) & follow instructions OR text TPHOL followed by a space, then your answer (a, b or c), your name, house number and postcode to 84080 (53307 RoI) To get details of goods and services that may be of interest, start text entry TPHOLIN.