机构

• 计算技术研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [2]

内容类型

• 学位论文 [1]
• 期刊论文 [1]

发表日期

• 2019 [1]
• 2005 [1]

学科主题

• 计算机科学技术::计... [1]

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 学位论文  OAI收割 硕士, 北京: 中国科学院大学, 2019 作者:  高冲   |  收藏  |  浏览/下载：28/0  |  提交时间：2019/06/17 集合数据约束  分离逻辑  传递闭包   存储与计算的分离 期刊论文  OAI收割 计算机研究与发展, 2005, 期号: 第3期, 页码: 520～530页 作者:  韩晓明;  马一力;  傅湘林;  许 鲁   |  收藏  |  浏览/下载：29/0  |  提交时间：2010/10/14 存储  计算  物理分离  逻辑分离  可重构计算环境