Word:

Hol

a.1.Whole.
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].
Head Of Line
Translate Hol to Spanish
Browse
Hoist bridge
Hoistaway
hoister
Hoisting engine
Hoistway
Hoit
Hoity-toity
Hoka
Hokan
Hokeday
Hoker
hokey
Hokkaido
Hokkianese
hokum
Hokusai
-- Hol --
HOL-88
HOL-90
HOL-UNITY
holandric gene
HOLAP
Holarctic
Holarrhena
Holarrhena antidysenterica
Holarrhena pubescens
Holaspidean
Holbein
Holbein the Elder
Holbein the Younger
Holbrookia
Holcad
Holcus
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home - Privacy Policy