您要查找的是不是:
- Abstract operator logic and its natural deduction system 抽象算子逻辑及其自然演绎系统
- The automatic natural deduction proving system based on the algorithm has been implemented, the Andrews, Bledsoe and Pelletier Challenges were proved by thesystem. 文中给出合一定理的证明,基于此算法的自动自然演绎系统已实现,用它证明了Andrews; Bledsoe和Pellotier挑战性问题。
- natural deduction system 自然推理系统, 自然演绎体系
- We find that, under a proportional tax deduction system, a nonzero deductible is obtained even though there are no variable costs for the insurer. 本文发现当政府对被保险人的净损失提供固定比例税赋抵减时,最适保险契约包含自负额以及共保,且当保险公司的变动成本为零时,最适自负额仍然不为零。
- forward rule-based deduction system [计] 基于规则的正向演绎系统, 正向规则演绎系统
- completeness of deduction system 演绎系统完备性
- control strategy for rule-based deduction system 基于规则演绎系统的控制策略
- deductive system for natural language 自然语言演绎系统
- It is natural for a cat to catch mice. 猫捉老鼠是本能。
- It's natural to slack2 off towards the end of a hard day's work. 一天紧张工作快结束的时候有些放松是自然的。
- Many natural materials are becoming scarce. 许多天然原料越来越少。
- parent child relation deduction system 亲子关系推定制度
- goal in rule-based deduction system 基于规则演绎系统中的目标
- Our motherland flows with natural resources. 我们祖国蕴藏着丰富的天然资源。
- Events took their natural course. 事态依自然进程发展。
- She has a natural wave in her hair. 她的头发自然卷曲。
- Magnetism is a natural phenomenon. 磁力是一种自然现象。
- It is difficult to be natural when one is tense. 人在紧张的时候很难泰然自若。
- Infinity, a major concept in Zeno's Paradox, is the essence of other concepts and deductive systems in the process of cognition. 摘要芝诺悖论与无限概念密切相关。
- The egoism of an artist sometimes seem natural. 艺术家的自负有时看起来是自然的。