...能是由于我本人所及的匮乏”没什么方法去机械的强加给它们，当它看上去需要某种类型的自动定理证明器（automatic theorem prover ），对之我没有存在的证据。
基于8个网页-相关网页
应用自动化定理证明引擎(Automatic Theorem Prover,ATP)，获取证明结果，提取证明路径。最后利用CSEA算法，从证明路径中提取目标服务的实现体(基于DFM模型...
基于4个网页-相关网页
automatic theorem prover
自动定理证明器
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动