mechanical theory proving

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

mechanical theory proving汉语翻译

【计】 机器理论证明