Webster's Online Dictionary
with Multilingual Thesaurus Translation

 
Earth's largest dictionary with more than 1226 modern languages and Eve!

Specialty Definition: HOL-90

DomainDefinition
ComputingHOL-90 An implementation of HOL built on SML/NJ by Brian Graham . Runs on Sun-4. (ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: info-hol@clover.ucdavis.edu. Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top