英文字典中文字典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]
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 Name Meaning, Origin, Popularity, Girl Names Like Isabelle . . .
    What is the meaning of the name Isabelle? Discover the origin, popularity, Isabelle name meaning, and names related to Isabelle with Mama Natural’s fantastic baby names guide
  • Isabelle - Baby Name Meaning, Origin, and Popularity
    The name Isabelle is a girl's name of French origin meaning "pledged to God" Isabelle is the French variation of Isabel, which emerged in the Middle ages as an Occitan form of Elizabeth Medieval queens Isabella of Angoulême and Isabella of France helped popularize the name in the United Kingdom
  • Isabelle McFive - YouTube
    Little Mama of The McFive Circus loves adventure, shopping, aerial silks, gymnastics and playing!! ️🎪 Oh and cookies 🍪🍪🍪Facebook: Isabelle McFiveInstag
  • Is Voicemails For Isabelle Worth Watching? Our Review
    Voicemails For Isabelle starring Zoey Deutch and Nick Robinson is a surprisingly emotional rom-com with substance Here's our full review
  • Isabel - Wikipedia
    Isabel is a female name of Spanish origin It originates as the medieval Spanish form of Elisabeth Arising in the 12th century, it became popular in England in the 13th century following the marriage of Isabella of Angoulême to the king of England Variant forms and spellings include Isabella, Ysabelle, Isobel, and Isobelle
  • Isabelle Name Meaning: Origin, Popularity Nicknames
    Learn about the name Isabelle, including its meaning, gender, origin, popularity, and more
  • Isabelle
    What is Isabelle? Isabelle is a generic proof assistant It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus
  • Isabelle Name Meaning, Origin, History, And Popularity
    Isabelle is the French variation of the Spanish name Isabel It comes from the biblical Hebrew name Elisheva from the Old Testament, the wife of Aaron and the sister-in-law of the Prophet Moses The name means ‘devoted to God’ or ‘consecrated to God ’
  • Isabelle - Baby Name Meaning, Origin and Popularity
    Learn about the baby name Isabelle including baby name meaning, gender, origin, and more
  • Isabelle - Baby name meaning, origin, and popularity
    Isabelle is a beautiful name of Spanish origin, meaning "God is my oath " It’s the French spelling of Isabel and shares roots with the name Elizabeth, making it a name with a rich cultural and linguistic history





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

|中文姓名英譯,姓名翻譯 |简体中文英文字典