有奖纠错
| 划词

These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

这些贡献包括编和数据类的公理化,证,规约与分析。

评价该例句:好评差评指正

用户正在搜索


cancroid, cancrum, cand, Candace, candareen, candela, candelabra, candelabrum, candelilla, candelilla wax,

相似单词


3G, 401(K), a,

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

经济学人(汇总)

This ruling has put women at a disadvantage too: by convention they are less often named on deeds.

依照规约而言,她在家庭里苦劳、功劳不再像以前那么被看

评价该例句:好评差评指正
麟语言学

There are other cases in which one does not need a conventional procedure to produce a performative.

有些情况,并不需要规约程序来完成。

评价该例句:好评差评指正
The People Profiles

Five years later the Statute of Westminster of 1931 would grant further legislative independence to the Commonwealth nations.

五年后,1931 年《威斯敏斯特规约》赋予英联邦国家进一步立法独立性。

评价该例句:好评差评指正
麟语言学

(i) There must be a relevant conventional procedure, and (ii) the relevant participants and circumstances must be appropriate.

A。(1)必须有一个相应规约程序;并且(ii)相关参与者和环境是合适

评价该例句:好评差评指正
英语语言学

However, Austin soon discovered that these conditions only apply to some cases.

施为句和叙事句。它不能应用于传统真值判断方法。因此,他对施为句和叙事句作了区分。(1) 定义施为句是用来做事,既不陈述事实,也不描述情况,且不能验证其真假;叙事句要么用于陈述,要么用于验证,可以验证其真假。(2) 合适条件虽然施为句没有真假,但必须满足一定条件才是合适把奥斯汀合适条件简化如下:①必须有一个相应规约程序,并且相关参与者与环境是合适。②该程序必须正确全面地得到执行。③有关人必须有相关思想、感情和意图,而且必须有相关后续行为。但是奥斯汀很快就认识到,这些条件只适用于部分情况。

评价该例句:好评差评指正
LEC法律英语精读教程(上)

Neither should the extension of royal jurisdiction be measured by such increase nor was caused by the passage of the Statute of Westminster II of 1285.

王室管辖权扩大也不应以这种增加来衡量,也不应以 1285 年《威斯敏斯特二世规约通过来衡量。

评价该例句:好评差评指正
BBC 听力 2014年11月合集

I have to follow the guidance of the Rome Statute that the International Criminal Court shall prioritize war crimes committed on a large scale or pursuant to a plan or policy.

必须遵从罗马规约指导,即国际刑事法庭应该优先处理大规模战争罪,或者依据一项计划或政策来行事。

评价该例句:好评差评指正
麟语言学

We said that the presence of a conversational implicature relies on a number of factors: the conventional meaning of words used, the CP, the linguistic and situational contexts, etc.

前面已经提到,会话隐含存在依赖一些因素:所用词规约意义。合作原则,语言和情景语境。

评价该例句:好评差评指正
大西洋月刊(文章版)

Though no one died or was even injured-and the accident led to new protocols and training under which the plant's second, intact reactor operated uneventfully until 2019-the accident hardened the public and environmentalists against nuclear energy.

尽管没有人死亡,甚至没有人受伤——而且这次事故还催生了新规约与培训,在此之下,核电站第二座完好无损反应堆直到2019年都安然无恙地运行着——但这次事故使公众和环保人士更加反对核能。

评价该例句:好评差评指正

用户正在搜索


candite, candle, candle holder, candle light, candle power, candle snuffer, candle stick, candleberry, candlefish, candleholder,

相似单词


3G, 401(K), a,
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接