中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
一种动态连接存储资源和计算资源装置的设计与实现 期刊论文
计算机科学, 2007, 卷号: 34.0, 期号: 007, 页码: 131
作者:  刘宇;  施家元;  刘海洋
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
nHD  存储和计算分离  动态计算环境  
纤维逻辑 期刊论文
计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 1
作者:  邱莉榕;  杨柳;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
形式逻辑  BDI逻辑  多模态逻辑  纤维逻辑  模态逻辑  纤维  可能世界语义  命题逻辑  人工智能  复杂性  
基于PDA的知识库与数据库集成和通用推理算法 期刊论文
计算机科学, 2002, 卷号: 29.0, 期号: 002, 页码: 120
作者:  欧阳建权;  钱跃良;  李锦涛;  刘任任
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
PDA  知识库  数据库  集成  通用推理算法  关系数据库  演绎推理  农业专家系统