go top

推理规则的完备性

网络释义专业释义

  completeness of rules of inference

completeness of axiom systems公理系统的完全性 completeness of rules of inference推理规则的完备性 completeness of a system of functions函数组的完全性 ..

基于28个网页-相关网页

  [数] completeness of inference rule

... completeness of axiom systems 公理系统的完全性 completeness of inference rule 推理规则的完备性 completeness of model 模型完备性 ...

基于12个网页-相关网页

  FD

... FD的Armstrong公理 FD推理规则的完备性 FD集的最小依赖集 ...

基于1个网页-相关网页

  • completeness of rules of inference
    completeness of inference rule
    inference rule completeness

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 基于这种统一表示本文给出简洁几何元素位置关系的判断方法以及获得一致完备推理规则

    Based on these unified representations, this paper gives a succinct method to obtain positional relations between geometric elements, and a group of complete reasoning rules to make them consistent.

    youdao

  • 这种XFD定义基础研究XML推理规则逻辑蕴涵问题,提出了一推理规则集并证明了推理规则的正确完备性,给出了求解路径闭包算法成员籍算法。

    Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定