机器证明的英文翻译
中文：机器证明
英文翻译：【计】 mechanical theorem proving