China Orb, online Chinese to English dictionary with nearly 1 million entries and plenty of excellent examples. The pin yin and pronunciation sound of Chinese wrods are provided. China Orb includes a lot of Chinese professional terms in many industries such as Medicine, Chemistry, Mechanism, Electricity, Computer, Economy, Law, Architecture. If you can not find satisfying translation elsewhere,try China Orb Chinese to English dictionary.

China Orb, online English to Chinese dictionary with more than 1 million entries and plenty of excellent examples. China Orb includes a lot of English professional terms in many industries such as Medicine, Chemistry, Mechanism, Electricity, Computer, Economy, Law, Architecture. If you can not find satisfying translation elsewhere,try China Orb English to Chinese dictionary.

deduction system
English: deduction system
Chinese: 【计】 演绎系统
Examples:
1. An advantage of a natural deduction system is that we can show in a series by very natural steps that one sentence follows other sentences.
目标分析法是命题逻辑自然推演法的一种形式,它采取设定目标语句来引导推理过程直至完成全部论证的结构。
2. Backward deduction system
后向演绎系统
3. Completeness of deduction system
演绎系统完备性
4. Control strategy for rule-based deduction system
基于规则演绎系统的控制策略
5. Goal in rule-based deduction system
基于规则演绎系统中的目标
6. Procedural deduction system
过程演绎系统
7. Rule-based deduction system
基于规则演绎系统
8. Standard deduction system
标准演绎系统