English Wikipedia - The Free Encycl...
Download this dictionary
HOL
Hol
or
HOL
may refer to:
Hol (surname)
Hol IL
, a sports club in Hol municipality, Buskerud county
Hol (role-playing game)
HOL (proof assistant)
, a family of interactive theorem proving systems
Hands On Learning
, a student re-engagement program implemented by Hands On Learning Australia
Head-of-line blocking
, a performance-limiting phenomenon in computer networking
Hellas On-Line
, a Greek Internet service provider
Higher-order logic
, a branch of symbolic logic
House of Lords
, the upper house of the UK parliament
House of Leaves
, a novel by Mark Z. Danielewski
Hounds of Love
, an album by Kate Bush
tlhIngan Hol
, the Klingon language
High Order Language, another term for
High-level programming language
See more at Wikipedia.org...
Hol
Hol
is a
municipality
in
Buskerud
county
,
Norway
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License