英文字典中文字典
Word104.com
中文字典辭典
英文字典
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
請輸入英文單字，中文詞皆可：
Isabelle 音標拼音: ['ɪzəb
,
ɛl]
The
Free
On
-
line
Dictionary
of
Computing
(
foldoc
)
A
generic
{
theorem
prover
}
with
support
for
several
{
object
-
logics
},
developed
by
Lawrence
C
.
Paulson
in
collaboration
with
{
Tobias
Nipkow
(
http
://
in
.
tum
.
de
/~
nipkow
/)}
at
the
{
Technical
University
of
Munich
}.
A
system
of
{
type
classes
}
allows
{
polymorphic
}
object
-
logics
with
{
overloading
}
and
automatic
{
type
inference
}.
Isabelle
supports
{
first
-
order
logic
} - {
constructive
}
and
classical
versions
; {
higher
-
order
logic
},
similar
to
Gordon
'
s
{
HOL
}; {
Zermelo
Fr
ä
nkel
set
theory
};
an
{
extensional
}
version
of
{
Martin
L
ö
f
}'
s
{
type
theory
},
the
classical
first
-
order
{
sequent
calculus
}, {
LK
};
the
{
modal
logics
} {
T
}, {
S4
},
and
{
S43
};
and
{
Logic
for
Computable
Functions
}.
An
object
logic
'
s
{
syntax
}
and
{
inference
rules
}
are
specified
{
declaratively
}
allowing
single
-
step
proof
construction
.
{
Proof
procedures
}
can
be
expressed
using
"
tactics
"
and
"
tacticals
".
Isabelle
provides
control
structures
for
expressing
search
procedures
and
generic
tools
such
as
simplifiers
and
classical
theorem
provers
which
can
be
applied
to
object
-
logics
.
Isabelle
is
built
on
top
of
{
Standard
ML
}
and
uses
its
user
interface
.
{(
http
://
cl
.
cam
.
ac
.
uk
/
Research
/
HVG
/
Isabelle
/)}.
Mailing
list
:
isabelle
-
users
@
cl
.
cam
.
ac
.
uk
.
["
tactics
"? "
tacticals
"?]
(
1999
-
07
-
26
)
請選擇你想看的字典辭典：
單詞
字典
翻譯
Isabelle
查看 Isabelle 在Google字典中的解釋
Google英翻中
〔查看〕
Isabelle
查看 Isabelle 在Yahoo字典中的解釋
Yahoo英翻中
〔查看〕
安裝中文字典英文字典查詢工具!
中文字典英文字典工具:
選擇顏色:
英文字典中文字典
輸入中英文單字
複製到剪貼板
<!--Word104.com--> <style type="text/css">#word104_1 br {display:none;}</style> <form id="word104_1" method="post" action="http://www.word104.com/index.php" target="_blank"> <div style="width: 140px;border:1px solid #000;background-color:#ffffff;padding: 0px 0px;margin: 0px 0px;align:center;text-align:center;overflow:hidden;"><div id="xcolor1_1" style="font-size:12px;color:#183a00;line-height:16px;font-family: arial; font-weight:bold;background:#94abf0;padding: 3px 1px;text-align:center;"><a href="http://www.word104.com/" alt="英文字典中文字典" title="英文字典中文字典" id="word_name104_1" style="color:#000000;font-size:14px;text-decoration:none;line-height:16px;font-family: arial;" >英文字典中文字典</a></div><table width=100% style='align:center;text-align:left;font-size:12px;background-color:#ffffff;color:#333333;'> <tr><td style="text-align:center;border:0"><input type=hidden name="word104_hi" value="1">輸入中英文單字</td></tr><tr><td style="text-align:center;border:0"><input type="text" name="word104_input" value="" size=10 style="background-color:#ffffff;color:#000;text-decoration:none;font-family: arial;rial;border:1px solid #999;padding:1px!important;"></td></tr><tr style='line-height: 26px;'><td style="text-align:center;border:0"><input type=submit style="background-color:#ccc;color:#000;border:0 none;cursor:pointer;" value="查詢字典"></td></tr></table></div> </form> <!--Word104.com-->
英文字典中文字典相關資料:
中文字典-英文字典
2005-2009
|
中文姓名英譯,姓名翻譯
|
简体中文英文字典