英文字典中文字典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 McFive - YouTube
    I make chocolate candy bars out of pop it Fidget toys! This is a great kids friendly Cooking idea! It’s even non bake!!! This was fun for so my kids bc they played with their pop it Fidgets and
  • 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
  • Isabel - Wikipedia
    Isabelle is a name that is similar, but it is of French origin It originates as the medieval Spanish form of Elisabeth (ultimately Hebrew Elisheba) 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 Today it is sometimes abbreviated to Isa
  • Isabelle Name Meaning, Origin, Popularity, Girl Names Like Isabelle . . .
    Isabelle is the French form of Isabel, meaning God is my oath A stunning French name with feminine flair, Isabelle is a softer variant of the mega-popular Isabella She has a sweet side with eye-catching appeal, winning over parents with her delicate styling
  • Isabelle Name Meaning, Origin, History, And Popularity - MomJunction
    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 Name Meaning: Sibling Names, Facts Similar Names
    Meaning: Isabelle means “pledged to God,” “God is perfection,” “God is my oath,” “God’s promise,” and “devoted (or consecrated) to God ” Gender: Isabelle is a girl’s name, although the root “Isa” is sometimes used for boys Origin: Isabelle has French origins and is linked to the Spanish Isabella, originating from the Hebrew Elisheba
  • Meaning, origin and history of the name Isabelle
    French form of Isabel Name Days?
  • Isabelle: Name Meaning, Popularity and Info on BabyNames. com
    The name Isabelle is primarily a female name of French origin that means God Is My Oath Click through to find out more information about the name Isabelle on BabyNames com
  • Isabelle - Name Meaning, What does Isabelle mean? - Think Baby Names
    What does Isabelle mean? I sabelle as a girls' name is a Hebrew name, and the meaning of the name Isabelle is "God is my oath" Isabelle is an alternate spelling of Elizabeth (Hebrew)
  • Isabelle: Name Meaning and Origin - SheKnows
    In English Baby Names the meaning of the name Isabelle is: My God is bountiful;God of plenty Hebrew Baby Names Meaning: In Hebrew Baby Names the meaning of the name Isabelle is: Devoted to God





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

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