automatic theorem proving
automatic theorem proving是什么意思、automatic theorem proving怎么读
【计】 自动定理证明
automatic theorem proving汉语翻译
【计】 自动定理证明