应用自动化定理证明引擎(Automatic Theorem Prover,ATP)，获取证明结果，提取证明路径。最后利用CSEA算法，从证明路径中提取目标服务的实现体(基于DFM模型...
基于4个网页-相关网页
自动化定理证明引擎
Automated theorem proving engine
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动