- 重点词汇
- 相关例句
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
互联网摘选
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.
证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法。
互联网摘选
在他的小说中,命运以神秘的大自然、遗传与因果报应、偶然与巧合、本能与欲念的形式表现出来。
互联网摘选
