HOL-88

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

Try this search on Wikipedia, OneLook, Google

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


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.