- 重点词汇
- betweenprep.在…之间;介于…之间;往返于;共享;一起;
- biggestadj.大的，长大的;大的( big的最高级 );重要的;（计划） 庞大的;大方的;
- modernadj.现代的;近代的;现代化的;新潮的;
- thispron.这，这个;这事，这人;这时;下面所说的事;
- isvt.& vi. 是(be的三单形式);
- andconj. 和，与;而且;于是，然后;因此;
- oldadj.（多少）岁;年纪大的;陈旧的，古老的;从前的;原来的;结识久的;（表示亲昵）老…;
- Englishn. 英语;英文;英格兰人(有时误用以指包括苏格兰、威尔士和北爱尔兰人在内的英国人);英语学科;(作为一门学科的)英语语言文学
- differencen.差别，差额;变化;分歧;
- 相关例句
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
互联网摘选
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.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
互联网摘选
在他的小说中，命运以神秘的大自然、遗传与因果报应、偶然与巧合、本能与欲念的形式表现出来。
互联网摘选
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
互联网摘选
