backward deduction system

【计】 后向演绎系统
在线英汉词典
相关词语