automatic theorem prover的意思|示意
美 / /
英 / /
自动定理证明器
automatic theorem prover的网络常见释义
定理证明器 ...能是由于我本人所及的匮乏”没什么方法去机械的强加给它们，当它看上去需要某种类型的自动定理证明器（automatic theorem prover ），对之我没有存在的证据。
自动化定理证明引擎 应用自动化定理证明引擎(Automatic Theorem Prover,ATP)，获取证明结果，提取证明路径。最后利用CSEA算法，从证明路径中提取目标服务的实现体(基于DFM模型...