查询词典 church

After the abstract syntax and the structural operational semantics of the ALT have been presented, The Church－Rosser property, strong normalization property and decidebility of the ALT's type system are proved.

在给出ALT语言的抽象语法和语义规则后，我们首先证明了ALT类型系统具有Church－Rosser性质，并在二阶λ-演算的环境中证明了强范式化特性。

This year we've invited special guest speaker Pastor Doug Fields to join us. Doug has been a pastor to students for over 25 years at Saddleback Church, California, USA.He is also the author of more than 30 books including Purpose Driven Youth Ministry.

今年我们荣幸邀请了Pastor Doug作演讲嘉宾，他在美国加州Saddleback Church牧养学生超过25年，著作有30多部，包括《Purpose Driven Youth Ministry》。

"It's like giving a schoolchild the right to choose his own homework," says Stephen Church of Japaninvest, a financial consultancy.

"这就像给予幼儿园小朋友自己选择家庭作业的权利"一家金融咨询公司的评论员 Stephen Church 这样说道。

And I confess that if all that I knew of Reverend Wright were the snippets of those sermons that have run in an endless loop on the television and You Tube, or if Trinity United Church of Christ conformed to the caricatures being peddled by some commentators, there is no doubt that I would react in much the same way.

坦率地说，假设我对赖特牧师的了解完全来自电视和You Tube反复播放的那些布道录像，或者假设"三一联合基督教会"(Trinity United Church of Christ)的实际情况完全符合某些评论员喋喋不休的讽刺性描述，毫无疑问我也会有差不多类似的反应。

And I confess that if all that I knew of Reverend Wright were the snippets of those sermons that h*e run in an endless loop on the television and You Tube, or if Trinity United Church of Christ conformed to the caricatures being peddled by some commentators, there is no doubt that I would react in much the same way.

坦率地说，假设我对赖特牧师的了解完全来自电视和You Tube反复播放的那些布道录像，或者假设"三一联合基督教会"(Trinity United Church of Christ)的实际情况完全符合某些评论员喋喋不休的讽刺性描述，毫无疑问我也会有差不多类似的反应。

Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.

课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。译注：Turing machine 一般译作"图灵机"或"图林机"，本课程依据专有名词保留原则，一律译为Turing机。

George Church, a molecular geneticist at Harvard Medical School and a pioneer of whole-genome sequencing, is unpersuaded.

哈佛医学院的分子遗传学家George Church，同时也是人类基因组测序的先驱则不为所动。

CAN YOU GIVE ME THE WORDS OF GOD IN BIBLE TO LEAD THE CHURCH.FOR WHAT IS OUR BAIS ONLY BIBLE AND JESUS.SO PLEASE GIVE ME THE ANSWER VIA E-MAIL.

可你让我在上帝的话圣经带领church.for什么是我们唯一的白族圣经jesus.so请给我答案电子邮件。

CACA Chinese Culture Camp is scheduled from July 27th to 31st in Rutgers Community Christian Church.

中美文化协会2009 文化夏营，今将订於七月二十七日至七月三十一日，在泽西歌教会(Rutgers Community Christian Church)的场地举。

The most successful Brazilian multinational of all may be the Universal Church of the Kingdom of God, a Pentecostal outfit that keeps being investigated for overenthusiastic marketing and opaque book-keeping.

巴西最成功的跨国企业莫过于&普世神国教会&（Universal Church of the Kingdom of God），这个&五旬宗&组织，一直因营销过度与帐目不清而遭致调查研究。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。