定理证明用逆向产生式系统的英文

backward production system for theorem proving

• 定理:    theorem
• 证明:    prove; testify; be ...
• 用:    40分钟跑完全程 run the c ...
• 逆向:    reverse; reversal; ...
• 产生:    produce; engender
• 式:    type; style
• 系统:    system