Language:
繁體中文
简体中文
English
Type any word to start, support Chinese and English.
hol88
Source : Free On-Line Dictionary of Computing
HOL-88 An implementation of {HOL} built on {ML} by Mike Gordon
.
Sort by alphabet
:
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
Similar words
hol90
Holacanthus tricolor
holandric gene
Holarctic
Holarrhena
Holarrhena antidysenterica
Holarrhena pubescens
Holaspidean
Holbein
Holbein the Elder
Holbein the Younger
Holbrookia
Share to
Delicious
Facebook
Google
MySpace
StumbleUpon
Technorati
Twitter
hol88 (繁體中文)
hol88 (简体中文)
Copyright © 2024 3Dict.net
