Isabelle的例句大全

Using natural deduction rules, Isabelle provides a generic framework for developing theorem proving systems.

Isabelle使用自然演绎规则进行推理，为定理证明系统的开发提供了一个通用的框架。

Kooky and colorful, the namesake shop of Isabelle Eriz é sells her lacy, tasseled Baroque-style handbags ( 25 euros) and cushions mixing stripes and leopard print ( 27 euros).

伊莎贝尔·埃利泽（Erizéde Souza）以自己名字命名的商店设计古怪，色彩艳丽，专售由她设计的巴洛克手袋（25欧元）和靠垫，前者缀满蕾丝与流苏，后者则饰以混杂着条纹与豹纹的印花图案（27欧元）。

Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover

基于Isabelle定理证明器算法程序的形式化验证

She gave Isabelle a reproachful look

她责备地看了伊莎贝尔一眼。

The death in 2010 of a French model and actress, Isabelle Caro, who at one point weighed just 55 pounds, fueled further calls for steps to address anorexia.

2010年，法国模特兼演员伊莎贝尔·卡罗（Isabelle Caro）的去世进一步推动人们要求采取举措，解决厌食症问题。卡罗一度只有55磅重。

I, Josef Cecil worrell, take you, Isabelle Frances fontaine.

我约瑟夫塞西尔沃若，愿意娶伊莎贝尔弗朗西丝芳亭。

Isabelle Barthes, policy adviser at Industriall, a Brussels-based trade union covering the metals industry, said she was "concerned" about the possibility of ArcelorMittal making further large cuts in its European plant network.

钢铁行业贸易协会Industriall的政策顾问伊莎贝尔•巴尔泰斯（Isabelle Barthes）表示，她对安塞乐米塔尔进一步大幅关停在欧工厂的可能性感到“忧虑”。Industriall的总部位于布鲁塞尔。

isabelle, theo: we accept you, one of us! one of us!

伊莎贝尔、西奥：我们接受你，我们中的一个！我们中的一个！

isabelle, theo: we accept you, one of us! one of us!

伊莎贝尔、西奥：我们接受你，我们中的一个！我们中的一个！

isabelle, theo: we accept you, one of us! one of us!

伊莎贝尔、西奥：我们接受你，我们中的一个！我们中的一个！

another two foreign artists invited to the exhibition are barbara edelstein from the usa and isabelle gauvreau from canada.

本届展览邀请的另两位是美国的芭芭拉•爱德斯坦与加拿大的伊莎贝拉•高莱噢。

John and Isabelle moved apart, back into the sun.

约翰和伊莎贝拉彼此分开，回到了阳光下。

Among the passengers were Isabelle Chu from Australia's western city of Perth.

乘客中有一位是澳大利亚西部城市佩斯的朱女士.

Isabelle's legs were in traction for about two and a half weeks.

伊莎贝尔的腿做了两周半的牵引治疗。

She gave Isabelle a reproachful look.

她责备地看了伊莎贝尔一眼。

Isabelle became sick with a swelling of her brain when she was four years old.

伊莎贝拉四岁的时候因脑肿胀而病倒了.

Isabelle : Yeah, and every high school student in town is banging on your door, right?

伊莎贝: 是喔, 全市的高中生都来敲你的门了, 是吧?

Isabelle: Peace is made in such ways.

伊莎贝尔: 和平就是这么来的.

Isabelle placed a wine cup on the table within his reach.

伊莎贝尔把酒杯放在桌上他伸手可及的地方。

Isabelle is quick to refute any suggestion of intellectual snobbery.

伊莎贝尔对于任何关于她恃才傲物的暗示都迅速予以否认。