follow Dictionary.com

8 Words That Are Older Than You Think

hol-88

hol-88 in Technology


An implementation of HOL built on ML by Mike Gordon mjcg@cl.cam.ac.uk.

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for hol

0
0
Scrabble Words With Friends

Nearby words for hol-88