- 重点词汇
- 相关例句
年度汉字评选活动由京都的一个日语汉字推广团体举办,今年共收到了来自公众的11.12万份提名。
互联网摘选
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系统表现&么半群中正则问题的可判定性
互联网摘选
