What does HOL stand for?

MLA style: "HOL." Acronym Finder . 2013. AcronymFinder.com 21 May. 2013 http://www.acronymfinder.com/Higher-Order-Logic-(HOL).html
Chicago style: Acronym Finder . S.v. "HOL." Retrieved May 21 2013 from http://www.acronymfinder.com/Higher-Order-Logic-(HOL).html
APA style: HOL. (n.d.) Acronym Finder. (2013). Retrieved May 21 2013 from http://www.acronymfinder.com/Higher-Order-Logic-(HOL).html

Higher Order Logic

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

Science, medicine, engineering, etc.

Other Resources:

<< Previous	Abbreviation Database Surfer		Next >>
Hardware Online (Danish portal) Harrison's Online Harvick Online (Nascar driver website) Head of Laboratory Head of Line Heart of Love Height of Lift (cranes/lifting equipment) Hellas Online (Greece) High On Life High(er) Order Language		Higher Order Loss (fiber optic cable) Hogwarts Online (Harry Potter books virtual school) Holiday Holiday & Leave Holland Holy Order of the Light (gaming guild) House of Leaves (Mark Z. Danielewski novel) House of Lords Hungary Online List Helping the Otherwise Law-Abiding

Samples in periodicals archive:

in 1990 from the University of Cambridge for his foundational research in formal hardware verification and mechanized reasoning, and was a co-developer of the original HOL theorem prover for higher order logic at Cambridge.

Jasper Design Automation Adds Tom Melham And Moshe Vardi To Its ...