- 重点词汇
- advertisementn.广告，宣传;公告;出公告，做广告;
- Englishn. 英语;英文;英格兰人(有时误用以指包括苏格兰、威尔士和北爱尔兰人在内的英国人);英语学科;(作为一门学科的)英语语言文学
- ofprep. 关于;属于…的;由…制成;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- componentn.组成部分，成分;
- newsn.新闻;消息;（可当作新闻内容的）人;物;
- importantadj.重要的;有声望的;
- modernadj.现代的;近代的;现代化的;新潮的;
- isvt.& vi. 是(be的三单形式);
- 相关例句
Because of this, Modern English includes many Latin and Greek words.
由于这个原因, 近代英语中包含了许多拉丁词汇和希腊词汇.
互联网摘选
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
互联网摘选
Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference
假言+选言推理的逻辑构造、判定和使用
互联网摘选
The concept of algorithm is also used to define the notion of decidability.
算法的概念，也用来界定概念的决定性。
互联网摘选
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
互联网摘选
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
有限可换主理想环上模理论可判定性及其复杂性
互联网摘选
希尔伯特的可判定性问题，并不是指物理、化学，或生物细胞的决定论。
互联网摘选
The decidability of the model is proven and a decidability algorithm is presented.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
互联网摘选
