有奖纠错
| 划词

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

这些贡献包括编程语言,形式验证,形式规约与分析。

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

用户正在搜索


half-siding, half-sinusoid, half-sister, half-size, half-slip, half-soiling, half-sole, half-space, half-speed, half-stuff,

相似单词


3G, 401(K), a,

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

经济学人(汇总)

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

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

评价该例句:好评差评指正
人物档案

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

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

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

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

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

评价该例句:好评差评指正
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.

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

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

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年都安然无恙地运行着——但这次事故使公众和环保人士更加反对核

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

用户正在搜索


half-timer, half-title, halftone, half-tone, half-track, half-tracked, half-truth, half-uncials, halfvolley, half-volley,

相似单词


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

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接