向后演绎系统的英文

• backward deduction system

• "向后"英文翻译    towards the back; backward; ...
• "演绎"英文翻译    deduction
• "系统"英文翻译    system
• "假想-演绎系统" 英文翻译 :    hypothetico-deductive system
• "演绎系统" 英文翻译 :    deduction system; hypothetical-deductive system
• "标准演绎系统" 英文翻译 :    standard deduction system
• "过程演绎系统" 英文翻译 :    procedural deduction system
• "后向演绎系统" 英文翻译 :    backward deduction system
• "自然演绎系统" 英文翻译 :    natural deduction system
• "希尔伯特演绎系统" 英文翻译 :    hilbert-style deduction system
• "演绎系统完备性" 英文翻译 :    completeness of deduction system
• "基于反向规则的演绎系统" 英文翻译 :    backward rule-based deduction system
• "基于规则的演绎系统" 英文翻译 :    rule based deduction system; rule-based deduction system
• "基于规则的正向演绎系统" 英文翻译 :    forward rule-based deduction system
• "希尔伯特风格演绎系统" 英文翻译 :    hilbert-style deduction system
• "基于规则的正向演绎系统, 正向规则演绎系统" 英文翻译 :    forward rule-based deduction system
• "演绎" 英文翻译 :    [逻辑学] deduction; inference; deduce
• "假想-演绎框架系统" 英文翻译 :    hypothetico-deductive frame system
• "向后" 英文翻译 :    towards the back; backward; retral; rursus 向后看 look back; 向后撤 withdraw; 向后转! (口令) about face!; about turn! 向后转走! (口令) to the rear, march
• "餐后演说" 英文翻译 :    after-dinner speech
• "滞后演算法" 英文翻译 :    lag and route method
• "可演绎" 英文翻译 :    deductibility
• "推论,演绎" 英文翻译 :    deduce
• "演绎，扣除" 英文翻译 :    deduction
• "演绎版" 英文翻译 :    demo