Home > Electronics Tutorials > Online Computer Terms Dictionary > h

Online Computer Terms Dictionary - H

HOL-88

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

 


Nearby terms: hobbit hog HOL HOL-88 HOL-90 hole hole model
 

Discover

     more......