- 重点词汇
- byprep. 在…旁边;表示方式;由于;经过;到…之前;
- sentv.送( send的过去式和过去分词 );使作出(某种反应);派遣;使进入(某状态);
- promotesv.<正>促进( promote的第三人称单数 );提升;推销;使 (学生)升级;
- Chinese characters中国字;方块字;
- hostedvt.当主人(host的过去式与过去分词形式);
- forconj.因为,由于;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
- ofprep. 关于;属于…的;由…制成;
- 相关例句
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
有限可换主理想环上模理论可判定性及其复杂性
互联网摘选
