一种基于定理证明的Web服务合成方法研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

一种基于定理证明的Web服务合成方法研究

余强;梁丽

Research on Theorem Proof Based Web Services Composition Method

YU Qiang; LIANG Li

计算机工程 . 2006, (20): 51 -52 . DOI: 10.3969/j.issn.1000-3428.2006.20.019