英文字典中文字典


英文字典中文字典51ZiDian.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　在百度字典中的解释百度英翻中〔查看〕
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: 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
  • 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 ’
  • Meaning, origin and history of the name Isabelle
    French form of Isabel Name Days?
  • 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, 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 and Origin
    The name Isabelle is of French origin and is derived from the name Elizabeth It means "God is my oath" or "pledged to God " Isabelle is a feminine name that conveys strength, grace, and devotion It is often associated with elegance and sophistication





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