已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 期刊论文 作者: 王石; 吴昱明; 臧良俊; 曹存根 Adobe PDF(277Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/07/25 |
| 无权访问的条目 期刊论文 作者: 叶剑; 朱珍民; 陈援非; 沈燕飞; 王双全; 陈益强 Adobe PDF(281Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/06/11 |
| 基于动态描述逻辑的语义Web服务组合 期刊论文 计算机学报, 2013, 卷号: 36.0, 期号: 012, 页码: 2468 作者: 常亮; 刘进; 古天龙; 史忠植 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 语义Web服务 服务组合 动态描述逻辑 动作理论 规划问题 |
| 描述语义Web服务的带类型的OWL-S 期刊论文 计算机工程与应用, 2012, 卷号: 48.0, 期号: 022, 页码: 58 作者: 刘超 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 语义Web服务 OWL-S 类型 一阶动态逻辑 服务验证 |
| 无权访问的条目 期刊论文 作者: 房俊; 赵卓峰; 温彦; 亓开元 Adobe PDF(202Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/03/10 |
| 描述Web服务的一阶动态逻辑 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 011, 页码: 109 作者: 吴晓庆 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 一阶动态逻辑 Web服务模型本体 Web服务 程序 赋值 |
| 无权访问的条目 期刊论文 作者: 叶剑; 朱珍民; 陈援非; 何哲 Adobe PDF(247Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/11 |
| 无权访问的条目 期刊论文 作者: 万长林 Adobe PDF(2382Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/06/25 |
| 无权访问的条目 期刊论文 作者: Jian Yu(喻 坚); Yan-Bo Han(韩燕波); Jun Han4(韩 军); Yan Jin(金 岩); Paolo Falcarin; Maurizio Morisio Adobe PDF(1867Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/02 |
| 无权访问的条目 期刊论文 作者: 史忠植; 常亮 Adobe PDF(1006Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/19 |