mechanical theory proving

【计】 机器理论证明
在线英汉词典
相关词语