machine theorem proving的意思|示意
美 / /
英 / /
机器定理证明
machine theorem proving相关短语
1、 theorem proving machine 定理证明机
2、 Theorem Machine Proving 定理机器证明