Słownik terminologii komputerowej

Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.


1 definition found From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]: HOL-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.