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
hol

more about hol

hol


  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