|
|
||
|
|
||
| 1. The Collaborative International Dictionary of English v.0.48 | ||
Hol \Hol\, a. [See Whole.] Whole. [Obs.] --Chaucer. [1913 Webster] | ||
| 2. V.E.R.A. -- Virtual Entity of Relevant Acronyms (February 2016) | ||
HOL
Head Of Line
| ||
| 3. The Free On-line Dictionary of Computing (30 December 2018) | ||
HOL Higher Order Logic. A proof-generating system for higher order logic based on LCF. Implementations include HOL-88 and HOL-90. <ftp://ted.cs.uidaho.edu/pub/hol>. Mailing list: info-hol@ted.cs.uidaho.edu. ["HOL: A Machine Oriented Formulation of Higher Order Logic", M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)]. ["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press 1993 ISBN 0-521-441897]. | ||
| Common Misspellings > | ||
| Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details. | ||
| ©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy | ||