...Automatic Service Composition, Automatic Theorem Proof, Deductive Program Synthesis. [gap=262]关键词：语义Web服务，自动服务组合，自动定理证明，演绎程序合成。
基于8个网页-相关网页
Web service automatic composition Web服务自动集成
·2,447,543篇论文数据，部分数据来源于NoteExpress
Studies semantic based representation of Manufacturing Grid (MG) service, and then proposes a backward recursive approach for automatic service composition.
研究制造网格中基于语义的服务表示，在此基础上提出了一种基于语义的逆向递归服务自动组合方法。
youdao
应用推荐
模块上移
模块下移
不移动