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