completeness of axiom systems公理系统的完全性 completeness of rules of inference推理规则的完备性 completeness of a system of functions函数组的完全性 ..
基于28个网页-相关网页
... completeness of axiom systems 公理系统的完全性 completeness of inference rule 推理规则的完备性 completeness of model 模型完备性 ...
基于12个网页-相关网页
·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.
在这种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.
应用推荐