Theorem Machine Proving的意思|示意
美 / /
英 / /
定理机证明
Theorem Machine Proving的网络常见释义
定理机器证明 ... .语用学（Pragmatics） 6、定理机器证明（Theorem Machine Proving） .归结法（Resolution Method） ...
Theorem Machine Proving相关短语
1、 theorem proving machine 定理证明机
2、 machine theorem proving 机器定理证明