rule-based deduction system

【计】 基于规则的演绎系统
在线英汉词典
相关词语