Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,807,213,245 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

HOL

   Also found in: Dictionary/thesaurus, Acronyms, Wikipedia 0.03 sec.
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].


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in ? References in periodicals archive
 
9M asbestos/mould 807-623-4540/623-5534 n/p Per Hol Construction 50% Ken Perrier, owner Co.
Top construction companies by Northern Ontario Business
I think this is a very honorable way of raising money for environmental causes, said Tommy Hol Ellingsen, the twenty-seven-year-old creator of the www.
Enviro porn by The Progressive
The antonym for kodesh is hol which the revised Jewish Publication Society Tanakh translates as "profane.
The post-secular: a Jewish perspective by Diamond, James S. / Cross Currents
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a Terms of Use.