Other Definitions
hol (dict)
Hol
HOL
can refer to any of the following:
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
.
See also:
<< Previous
Word Browser
Next >>
heroic couplet
hod
herat
hedeby
hazara
hawala
hydroponics
henry purcell
hydrophobe
harley davidson
hiberno english
harmonic analysis
home run
harappa
hate sites
hendecasyllable
hebrides
human rights law
hms dreadnought
hartmann schedel
hexameter
holy hand grenade of antioch
timeline of polish history
himalia
heracleidae
hiv
hostile witness
how to solve the rubik's cube
henry i of england
henry ii of england
hentai
henry vii of england
henry viii of england
http cookie
haryana
himachal pradesh
hakra river
helene
hyperion
history of medicine
hamoaze
hanover
handheld game console
heinrich abeken
Copyright 2005-2009 OnPedia.com. All Rights Reserved