Modern English; New Hebrew is Israeli Hebrew.

News advertisement English is the important component of modern English.

新闻广告英语是现代英语的重要组成部分.

互联网摘选

Because of this, Modern English includes many Latin and Greek words.

由于这个原因, 近代英语中包含了许多拉丁词汇和希腊词汇.

互联网摘选

This is the biggest difference between Old and Modern English.

这是古代英语和现代英语最大的不同.

互联网摘选

I'm writing a grammar of modern English.

我在写现代英语的语法书.

词典精选例句

A Did you take her round all the tourist sights?

A你领她转了所有的旅游景点了 吗 ?

互联网摘选

A And it's easy for all the tourist sights.

A从那里去所有的旅游景点都很容易.

互联网摘选

Could you tell me some places of historical interest in Nanjing?

您能告诉我南京的一些旅游景点 吗 ?

互联网摘选

This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.

本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。

互联网摘选

Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference

假言+选言推理的逻辑构造、判定和使用

互联网摘选

The concept of algorithm is also used to define the notion of decidability.

算法的概念，也用来界定概念的决定性。

互联网摘选

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

互联网摘选

The Decidability of Proof Method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

互联网摘选

Decidability of Propositional Projection Temporal Logic

命题投影时序逻辑的可判定性

互联网摘选

Epistemic logic ( 4): on the Decidability of epistemic logic

认识逻辑（4）：关于认识逻辑的可判定性

互联网摘选

The Decidability of Regular Problems for Monoids Presented by Church-Rosser Systems

Church-Rosser系统表现&么半群中正则问题的可判定性

互联网摘选

Description of parallel algorithms by FP and Decidability of its systolic implementation

并行算法的FP描述及其脉动化的判定

互联网摘选

The Decidability and Complexity for Theories of Modules on Finitely PI Rings

有限可换主理想环上模理论可判定性及其复杂性

互联网摘选

It was not the determinism of physics, or chemistry, or of biological cells, that was involved in Hilbert's question about decidability.

希尔伯特的可判定性问题，并不是指物理、化学，或生物细胞的决定论。

互联网摘选

The decidability of the model is proven and a decidability algorithm is presented.

证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。

互联网摘选

On Decidability of NP Complete Problems by Polynomial Sized Circuit

关于NP完全问题的多项式线路可判定性

互联网摘选