What does TPHOL stand for?

MLA style: "TPHOL." Acronym Finder . 2012. AcronymFinder.com 11 Feb. 2012 <a href="http://www.acronymfinder.com/Theorem-Proving-in-Higher-Order-Logics-(TPHOL).html">http://www.acronymfinder.com/Theorem-Proving-in-Higher-Order-Logics-(TPHOL).html
Chicago style: Acronym Finder . S.v. "TPHOL." Retrieved February 11 2012 from <a href="http://www.acronymfinder.com/Theorem-Proving-in-Higher-Order-Logics-(TPHOL).html">http://www.acronymfinder.com/Theorem-Proving-in-Higher-Order-Logics-(TPHOL).html
APA style: TPHOL. (n.d.) Acronym Finder. (2012). Retrieved February 11 2012 from <a href="http://www.acronymfinder.com/Theorem-Proving-in-Higher-Order-Logics-(TPHOL).html">http://www.acronymfinder.com/Theorem-Proving-in-Higher-Order-Logics-(TPHOL).html

Theorem Proving in Higher Order Logics

This definition appears very rarely and is found in the following Acronym Finder categories:

Other Resources:

<< Previous	Abbreviation Database Surfer		Next >>
Total Petroleum Hydrocarbons as Diesel (found in soil surrounding leaking underground storage tanks) Total Petroleum Hydrocarbons Diesel Trinity Possil and Henry Drummond Church of Scotland (Glasgow, Scotland) Tamper-Proof Hardware Enclosure Technologie de la Production Horticole et de l'Environnement (French: Technology of Horticultural Production and the Environment; Institute of Food Technology; Canada) Time to Peak Hepatic Enhancement Total Petroleum Hydrocarbons Gasoline Townhill Park House Gardens (est. 1912; UK) Third Party Health Insurance Travaux Publics Hantz Marc (French public works company)		Theorem Proving in Higher Order Logics (conference) The People Have Spoken The Photographic Historical Society Torrey Pines High School (San Diego, CA) Twentynine Palms High School (California, USA) Troop Housing Twin Pines Housing Trust (Vermont) Two Phase Heat Transfer Texas Public Health Training Center Tropical Public Health Unit (Australia)