机构

• 计算技术研究所 [3]
• 软件研究所 [2]
• 遥感与数字地球研究所 [1]

采集方式

• OAI收割 [6]

内容类型

• 期刊论文 [6]

发表日期

• 2014 [1]
• 2010 [1]
• 2008 [2]
• 2003 [2]

学科主题

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文  OAI收割 计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者:  赵晓非;  田东平;  张文波;  史忠植   |  收藏  |   基于土壤-环境关系的更新传统土壤图研究 期刊论文  OAI收割 土壤学报, 2010, 期号: 6, 页码: 1039-1049 杨琳; Fahmy Sherif; Hann Sheldon; 朱阿兴; 秦承志; 徐志刚 收藏  |   基于动态描述逻辑的语义Web服务推理 期刊论文  OAI收割 计算机学报, 2008, 期号: 第9期, 页码: 1599—1611 作者:  史忠植;  常亮   |  收藏  |   基于动态描述逻辑的语义Web服务推理 期刊论文  OAI收割 计算机学报, 2008, 卷号: 31.0, 期号: 009, 页码: 1599 作者:  史忠植;  常亮   |  收藏  |   密码协议的一种基于组合推理的模型验证 期刊论文  OAI收割 通信学报, 2003, 卷号: 24, 期号: 9, 页码: 122-127 刘怡文; 李伟琴; 冯登国   |  收藏  |   密码协议的一种安全模型 期刊论文  OAI收割 软件学报, 2003, 卷号: 14, 期号: 6, 页码: 1148-1156 刘怡文; 李伟琴; 冯登国   |  收藏  |