Extensions in an inference rule match a single target and dependent that have the same base name.
推理规则中的扩展名与具有相同基名称的单个目标和依赖项匹配。
NMAKE looks for a matching inference rule if a description block is not followed by a commands block.
如果描述块后面没有紧跟命令块，NMAKE 将查找匹配的推理规则。
If a description block's target has no dependents or commands, an inference rule can update the target.
如果描述块的目标没有依赖项或命令，推理规则可以更新目标。
Situation monitoring and trouble diagnosis expert system for TBM is developed. The structure principle, inference rule and goal attaining process are described.
基于专家系统工具，开发了TBM状态监测和故障诊断专家系统，阐述了系统的结构原理、推理规则、目标实现过程。
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
If a dependent file does not exist and is not listed as a target in another description block, an inference rule can create the missing dependent from another file with the same base name.
如果依赖文件不存在，并且未在另一个描述块中作为目标列出，则推理规则可以从具有相同基名称的另一个文件创建缺少的依赖项。
In order to solve the 3d automatic modeling problem of strata based on Generalized Tri-prism (GTP), a kind of 3d stratum structure knowledge inference rule and modeling method is put forward.
为了解决基于广义三棱柱(GTP)的三维地层模型自动建模问题，提出了一种三维地层构造知识推理规则和建模方法。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
应用推荐