Inference Rules（推导规则） Inference rules（下文简称IR）是一个模板，它用于决定如何从一个具有某种扩展名的文件构造出一个具有另一种扩展名的文件。
基于44个网页-相关网页
6.7 逻辑演绎法 inference rules（推理法则） deductive-reasoning（演绎推论） ＝resolution（消解法） resolvent（消解物）：根据前面叙述所作的逻辑结论 此法只能用于成...
基于26个网页-相关网页
...此节的朋友可以直接跳过 Makefile的组成部分包括：成文件包含： 描述块 (description block) 命令 宏 推理规则 (inference rules) 点指令 预处理指令 a.描述块 描述块是后面可跟有命令块的依赖项行： targets.
基于14个网页-相关网页
fuzzy inference rules 模糊推理规则
inference rules sets 推理规则集
CBP inference rules CBP 的推理规则
soundness of inference rules 推理规则的合法性
Rules of Inference 推理规则 ; 法则 ; 推论法则 ; 推演规则
completeness of rules of inference 推理规则的完备性
rules inference 规则推理
And a set of complete inference rules about XML functional dependency is given.
然后给出了关于XML文档的函数依赖的一组完备的推理规则集。
参考来源 - XML文档的规范化问题研究·2,447,543篇论文数据，部分数据来源于NoteExpress
For more information about inferred dependents, see Inference Rules.
有关推理依赖项的更多信息，请参见推理规则。
And a set of complete inference rules about XML functional dependency is given.
然后给出了关于XML文档的函数依赖的一组完备的推理规则集。
Examples of stateful rules include most event correlation rules and some USES of inference rules.
有状态规则的例子包括大部分事件相关规则和一些推理规则的使用。
应用推荐