推理规则的英文

• inference rule
• rule of inference

• "推理"英文翻译    inference; ratiocination; il ...
• "规则"英文翻译    rule; regulation; ordination ...
• "推理规则, 推理法则" 英文翻译 :    inference rule
• "推理规则的可靠性" 英文翻译 :    inference rule soundness
• "推理规则的完备性" 英文翻译 :    completeness of inference rule; completeness of rules of inference
• "推理规则的有效性" 英文翻译 :    inference rule soundness
• "推理规则完备性" 英文翻译 :    inference rule completeness
• "推理规则有效性" 英文翻译 :    inference rule soundness
• "管理规则" 英文翻译 :    control; rule of administration
• "清理规则" 英文翻译 :    cleanup rules
• "原理规则" 英文翻译 :    princip'o:principle
• "栈管理规则" 英文翻译 :    stack management discipline
• "规则推理" 英文翻译 :    rule inference
• "分区管理规则" 英文翻译 :    subdivision regulations
• "工商管理规则" 英文翻译 :    industrial and commercial control regulations
• "建筑管理规则" 英文翻译 :    architectural control
• "失责处理规则" 英文翻译 :    default rule
• "统一处理规则" 英文翻译 :    uniform customs and practice
• "外轮管理规则" 英文翻译 :    regulation governing foreign vessels
• "违责处理规则" 英文翻译 :    default rules
• "依法理规则的" 英文翻译 :    rule by rule; rule-by-rule
• "船舶签证管理规则" 英文翻译 :    rules for administration of endorsement of vessels
• "船内安全管理规则" 英文翻译 :    internal safe management code
• "多晶硅处理规则" 英文翻译 :    polysilicon process rule; rule polysilicon process; rule, polysilicon process
• "飞机构形管理规则" 英文翻译 :    acmr aircraft configuration management rules

• Rules of inference for quantifiers in discrete mathematics
  离散数学中与量词有关的推理规则
• Completeness of rules of inference
  推理规则的完备性
• Precedence in inference rules
  推理规则中的优先级
• If no makefile is specified , it uses inference rules to build command - line
  如果未指定生成文件，则nmake使用推理规则生成命令行
• Inference rules can build a command - line target even if no description block exists
  即使不存在描述块，推理规则也可以生成命令行目标。
• Inference rules supply commands to update targets and to infer dependents for targets
  推理规则提供命令来更新目标并推理目标的依赖项。
• Inference rules are user - defined or predefined ; predefined rules can be redefined
  推理规则是用户定义的，或预定义的；预定义的规则可以重新定义。
• 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
  如果描述块的目标没有依赖项或命令，推理规则可以更新目标。

• 推理规则的法语：Règle d'inférence
• 推理规则的日语：推論規則
• 推理规则的俄语：Правило вывода