3 definitions found
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Hol \Hol\, a. [See {Whole}.]
Whole. [Obs.] --Chaucer.
From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]:
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].
From V.E.R.A. -- Virtual Entity of Relevant Acronyms 13 March 2001 [vera]:
HOL
Head Of Line
more about hol
browse words by letter
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
or search
thesauri
dictionary
search words
|
Lake Atitlan, Guatemala
|
