mechanical theorem proving

mechanical theorem proving是什么意思、mechanical theorem proving怎么读
【计】 机器证明

mechanical theorem proving汉语翻译

【计】 机器证明