英语人>网络例句>格罗弗 相关的搜索结果
网络例句

格罗弗

与 格罗弗 相关的网络例句 [注:此内容来源于网络,仅供参考]

This view of Montes Agricola on the lunar surface was taken by Apollo 15 command and service modules pilot Alfred Worden.

阿格里克拉山脉这张阿格里克拉山脉的照片由阿波罗15机组的命令与伺服舱的领航员阿尔弗雷德·沃顿拍摄。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上,提出逻辑类型论来解决罗素悖论,以非集合论理论为基础,以无穷公理和选择公理为前提,利用逻辑概念定义数学概念,并构造系统,通过逻辑演绎法从逻辑公理推导数学定理。

The Shortlist: Andrey Arshavin, Karim Benzema, Iker Casillas, Cristiano Ronaldo, Diego, Didier Drogba, Edin Dzeko, Samuel Eto'o, Cesc Fabregas, Fernando Torres, Diego Forlan, Steven Gerrard, Ryan Giggs, Yoann Gourcuff, Thierry Henry, Zlatan Ibrahimovic, Andres Iniesta, Julio Cesar, Kaka, Frank Lampard, Maicon, Lionel Messi, Luis Fabiano, Franck Ribery, Wayne Rooney, John Terry, Nemanja Vidic, David Villa, Xavi, Yaya Toure.

大名单:阿尔沙文、本泽马,卡西利亚斯、C-罗纳尔多,迭戈,德罗巴,哲科,埃托奥、法布雷加斯,托雷斯,弗兰,杰拉德,吉格斯,古尔库夫、亨利,伊布拉希莫维奇,伊涅斯塔,塞萨尔,卡卡,兰帕德,麦孔,梅西,法比亚诺,里贝里,鲁尼,特里,维迪奇,比利亚,哈维,亚亚-图雷

In its present form the list of approved Fathers comprises Cyprian, Gregory Nazianzen, Basil, Athanasius, Chrysostom, Theophilus, Hilary, Cyril of Alexandria, Ambrose, Augustine, Jerome, Prosper, Leo ("every iota" of the tome to Flavian is to be accepted under anathema), and "also the treatises of all orthodox Fathers, who deviated in nothing from the fellowship of the holy Roman Church, and were not separated from her faith and preaching, but were participators through the grace of God until the end of their life in her communion; also the decretal letters, which most blessed popes have given at various times when consulted by various Fathers, are to be received with veneration".

以其目前的形式名单核定父亲包括塞浦路斯,格雷戈里nazianzen ,罗勒, athanasius ,金口,西奥菲勒斯,希拉蕊,西里尔亚历山大,刘汉铨,奥古斯丁,杰罗姆,繁荣,利奥("每一丝一毫"该托梅向弗拉维安是被接纳下诅咒),和",也是论文的所有正统的父亲,谁背离了,在没有从团契的神圣罗马教会,并没有脱离她的信仰和说教,而是参与者通过谢天谢地,直至其生命,在她的共融;也是decretal封,其中大部分祝福教宗已在不同时候给予咨询时,各父亲,都将收到与敬仰的"。

For instance, North Douglas, Paul Kurgan, Oliver E.Williamson, Harold Demsetz and Yang Xiaokai mentioned the relation between TC and IT directly or indirectly once in a while.

比如,道格拉斯·诺思和保罗·克鲁格曼,以及奥利弗·威廉姆森、哈罗德·德姆塞茨和杨小凯等人在其著作或论文中就直接或间接地提到过交易成本与国际贸易之间的关系问题。

The panelists were Tom MacManus, president of GMAC Commercial Mortgage, Steven Roth, chairman and CEO of Vornado Realty Trust, Stuart Rothenberg, partner at Goldman, Sachs and David Steinwedell, chief investment officer of Wells Real Estate Funds.

小组会成员有GMAC商业抵押的总裁汤姆·麦克马纳、弗纳多房产信托的主席兼CEO史蒂文·罗斯、高盛的合伙人斯图尔特·罗森博格、威尔士房产基金的首席投资官戴维·史戴文德。

Along with Weitzman, Lilley and Chaurushiya, other contributors to this work were Sebastien Landry and Junghae Suh from the Salk Institute's Laboratory of Genetics (JS is now at Rice University, Houston); Stephanie Panier and Daniel Durocher from the Samuel Lunenfeld Research Institute, Mount Sinai Hospital in Toronto, Canada; Chris Boutell and Roger D. Everett at the University of Glasgow, UK; and Grant S. Stewart at Birmingham University, UK.

随着韦茨曼,李洁明和Chaurushiya,对这项工作的其他捐助者是来自索尔克研究所的基因实验室(JS塞巴斯蒂安兰德里和Junghae绪是赖斯大学,休斯敦现在);斯蒂芬妮帕尼埃和丹尼尔迪罗谢从SamuelLunenfeld研究所,山西奈山医院在加拿大的多伦多,克里斯Boutell和罗杰D埃弗雷特在格拉斯哥大学,英国和美国斯图尔特格兰特伯明翰大学,英国。

The development of Montague's ideas can be divided into three stages: In the first stage (1955-1958), Montague was influenced by Frege, Russell, Carnap and Tarski, focusing on Mathematic Logic, Mathematical Foundation and Recursion Theory.

蒙太格思想的发展分为三个阶段:第一段(1955-1958)受弗雷格、罗素、卡尔纳普、塔斯基问题意识的支配,关注数理逻辑、数学基础、递归函数论等问题。

Examples of possible leadership, focusing on countries that are not part of the group of eight industrialised nations (this need not be a requirement, provided the individual has a strong international perspective), include: Montek Singh Ahluwalia; Leszek Balcerowicz; Kemal Dervis; Francisco Gil Diaz; Stanley Fischer; and Trevor Manuel.

可能的领导人选——聚焦于非G8国家(如果某人拥有较强的国际视角,那么这不是一个必要条件)——举例如下:印度的蒙特克·辛格·阿卢瓦利亚、波兰的勒茨克·巴塞罗维茨、土耳其的凯末尔·德尔维什、墨西哥的弗朗西斯科·希尔·迪亚斯、以色列的斯坦利·费西尔和南非的特雷弗·曼纽尔。

There is some variation, however, in the way they are constructed: in the first and last fugues of BuxWV 136 the second voice does not state the subject as in enters during the initial exposition; in BuxWV 153 the second exposition uses the subject in its inverted form, etc.

有一些变化,但是,在它们的制造方式:在BuxWV 136秒的声音第一个和最后赋格曲没有说明这个问题在博览会期间首次进入,在BuxWV 153次博览会的主题使用在其倒等形式赋格曲某前奏科目可能与在弗罗贝格尔's和弗雷斯科巴尔迪氏 ricercars 和 canzonas(BuxWV 150,152等

第8/17页 首页 < ... 4 5 6 7 8 9 10 11 12 ... > 尾页
推荐网络例句

In this paper, the requirement analysis, design and implementation of the system are introduced in detail.

此论文详细介绍了系统的需求分析,系统设计和具体实现。

In the context of economic globalization is increasingly deepening, China's economy can not be spared.

在经济全球化日益加深的背景下,中国经济不可能做到独善其身。

Results:(1)Increased expression of ICAM-1 appeared in cultured endothelial cells after anoxia and enhanced after reoxygenation.

结果:(1)体外培养的内皮细胞缺氧后ICAM-1表达上调,随复氧时间的延长ICAM-1呈增强趋势。