Dictionary
Thesaurus
Encyclopedia
Translator
Web
Related Searches
Nearby Words

hol

 - 5 dictionary results
Ralphs Holiday Recipes
Find inspiring new recipes to help plan your holiday celebration.
www.PlanForTheHolidays.com/Ralphs
25 Days of Christmas
Watch all your holiday faves online now thru 12/25 on ABCFamily.com!
www.ABCFamily.go.com
Downtown Holiday Deals
Free events and exclusive discounts in Downtown LA this holiday at
www.DowntownLA.com

hol-

 
Use hol in a Sentence
var. of holo- before a vowel: holiatry.
Ralphs Holiday Recipes
Find inspiring new recipes to help plan your holiday celebration.
www.PlanForTheHolidays.com/Ralphs
25 Days of Christmas
Watch all your holiday faves online now thru 12/25 on ABCFamily.com!
www.ABCFamily.go.com

hols

  [holz]
–plural noun
Sometimes, hol. British Informal. holiday (def. 5).
Origin:
by shortening
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2009.
Cite This Source Link To hol
Medical Dictionary

hol- pref.
Variant of holo-.

The American Heritage® Stedman's Medical Dictionary
Copyright © 2002, 2001, 1995 by Houghton Mifflin Company. Published by Houghton Mifflin Company.
Cite This Source
Computing Dictionary

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].

The Free On-line Dictionary of Computing, © 1993-2007 Denis Howe
Cite This Source
Abbreviations & Acronyms
hol
holiday
The American Heritage® Abbreviations Dictionary, Third Edition
Copyright © 2005 by Houghton Mifflin Company.
Published by Houghton Mifflin Company. All rights reserved.
Cite This Source
Search another word or see hol on Thesaurus | Reference
Downtown Holiday Deals
Free events and exclusive discounts in Downtown LA this holiday at
www.DowntownLA.com
Fun boxers for Christmas
Get Dad and Bro some fun men's boxer shorts for Christmas. On Sale
www.rudedudeboxers.com
Majorca Late Deals
Last minute offers from Ireland to Majorca, Santa Ponsa and more
www.LateDeals.ie/Majorca/
FacebookTwitterFollow us:
Partner Sites:
Ask AnswersEviteExpediaHotelsHotwireLife123LiveDailyMy Way