automated proof

【计】 自动验证
英汉词典
相关词语