x
MegaLexica
Computer Dictionary of Information Technology
law dictionary
legal abbreviations
legal dictionary
medical dictionary
Tech Glossary
~
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Disclaimer
Terms of Use
Privacy Policy
Contact Us
HOL-88
An
implementation of
HOL
built on
ML
by
Mike
Gordon <mjcg@
cl
.
cam
.ac.
uk
>.