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