中国科学院计算技术研究所机构知识库(CSpace): 检索

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

帮助

已选(0)清除条数/页：排序方式：
	基于动态描述逻辑DDL的动作理论期刊论文计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203 作者: 常亮; 陈立民收藏 \| 浏览/下载：11/0 \| 提交时间：2023/12/04 动态描述逻辑知识表示和推理动作理论智能主体语义Web
	可判定的时序动态描述逻辑期刊论文软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524 作者: 常亮; 史忠植; 古天龙; 王晓峰收藏 \| 浏览/下载：12/0 \| 提交时间：2023/12/04 动态描述逻辑分支时序逻辑知识表示和推理动作理论 Tableau判定算法

中国科学院计算技术研究所机构知识库