Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of HOL-90

 
Computing Dictionary
 
 Definition: 

An implementation of hol built on sml/nj by Brian Graham <graham@cpsc.ucalgary.ca>. Runs on sun-4.

. Mailing list: info-hol@clover.ucdavis.edu.

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY