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