中文英文字典辭典Word104.com

推到 Twitter!
推到 Plurk!
推到 Facebook!
中文字典辭典   英文字典   快遞查詢 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]
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英翻中〔查看〕
Isabelle查看　Isabelle　在MSN字典中的解釋Msn英翻中〔查看〕

安裝中文英文字典辭典查詢工具!


中文英文字典辭典工具:
選擇顏色:
輸入中英文單字
  






















































英文字典相關資料:
  • 稅則號別疑義解答案例 - 財政部臺中關稅局 -
    稅 則 號 別 疑 義 解 答 案 例 （本資料僅供參考，案例係針對個案貨物分類，如欲參考，應先詳閱案例相關附件等資料，並以 ...
    		•

    



    中文字典-英文字典  2005-2009

    |網站分析,域名分析 |MD5加密,解密 |中文姓名英譯,姓名翻譯 |简体中文英文字典 |購物 工作 生活 交友 搜索 查詢 網站