中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
描述Web服务的一阶动态逻辑 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 011, 页码: 109
作者:  吴晓庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
一阶动态逻辑  Web服务模型本体  Web服务  程序  赋值  
OWL—S的形式语义 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 007, 页码: 5
作者:  蒋运承;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
形式语义  OWL  Web服务  web服务  语义Web  研究现状  理论基础  服务提供