HOL

HOL can refer to any of the following:

* House of Lords - the upper house of the Parliament of the United Kingdom of Great Britain and Northern Ireland
* HOL is an abbreviation for higher-order language, aka, High-level programming language, such as Fortran, COBOL, ALGOL, PL/1, or SNOBOL to distinguish such programming languages from assembly language.
* HOL is an abbreviation for higher-order logic, a branch of symbolic logic in which statements can be quantified over objects, predicates, predicates of predicates etc.
* There is a theorem prover called HOL; see HOL theorem prover.
* Hol is a municipality in the county of Buskerud, Norway.
* The Hall of Light, an Amiga games database.
* The former IOC country-code for the Netherlands.
* The abbreviation for Greek Internet Service Provider "Hellas On-Line", which offers broadband and dial-up internet services.
* The role-playing game Hol (role-playing game) is often shorted as Hol.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • hol — hol·andric; hol·an·dry; hol·arctic; hol·as·pid·e·an; hol·bein; hol·boell s; hol·co·dont; hol·co·no·ti; hol·cus; hol·den·ite; hol·er; hol·ger; hol; hol·i·day·er; hol·i·days; hol·ish·kes; hol·lan·daise; hol·land·er; hol·land·ite; hol·lands;… …   English syllables

  • hol — I {{/stl 13}}{{stl 8}}rz. mnż III, D. u; lm D. i || ów {{/stl 8}}{{stl 20}} {{/stl 20}}{{stl 12}}1. {{/stl 12}}{{stl 7}} duże pomieszczenie prowadzące do innych wnętrz, będące często rodzajem obszernego korytarza : {{/stl 7}}{{stl 10}}Duży hol… …   Langenscheidt Polski wyjaśnień

  • hol- — Hol : ↑ holo , Holo . * * * hol , Hol : ↑holo , ↑Holo . ho|lo , Ho|lo , (vor Vokalen auch:) hol , Hol [zu griech. hólos] <Best. in Zus. mit der Bed.>: ganz, völlig, vollständig (z. B. holoarktisch, holographisch, Hologramm, holoedrisch) …   Universal-Lexikon

  • hol — HOL, holuri, s.n. Încăpere (de trecere) într o locuinţă, care face legătura între intrare şi celelalte încăperi ale apartamentului, clădirii etc. – Din fr., engl. hall. Trimis de gall, 13.09.2007. Sursa: DEX 98  HOL s. v. vestibul. Trimis de… …   Dicționar Român

  • hol- — ⇒HOL(O) , (HOL , HOLO )élém. formant Élém. tiré du gr. « entier » et entrant dans la constr. de nombreux mots savants. I. [Forme hol ] A. [Les mots constr. sont des adj.] 1. [Le 2e élém. est issu du gr.] : holandrique, adj.génét. Gène, caractère… …   Encyclopédie Universelle

  • Hol — Hol, a. [See {Whole}.] Whole. [Obs.] Chaucer. [1913 Webster] …   The Collaborative International Dictionary of English

  • HOL — steht für: Higher Order Logic, siehe Logik höherer Stufe Landkreis Holzminden, als Kraftfahrzeugkennzeichen Siehe auch: Hol, Hohl Diese Seite ist eine …   Deutsch Wikipedia

  • hol... — hol..., Hol... vgl. ↑holo..., Holo …   Das große Fremdwörterbuch

  • hol|la — «huh LAH, HOL uh», interjection, noun, intransitive verb, transitive verb. = hollo. (Cf. ↑hollo) …   Useful english dictionary

  • hol|lo — «huh LOH, HOL oh», interjection, noun, plural los, verb, loed, lo|ing. –interj. ho there! hello! an exclamation to someone at a distance, in order to call attention, or to answer who hails. –n. 1. a shout or call of greeting or surprise. 2. a… …   Useful english dictionary


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.