中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
碳纤维表面粗糙度对碳/环氧树脂基复合材料界面性能的影响 会议论文  OAI收割
中国力学大会——2013, 中国北京, 2013-08-19
作者:  姚寅;  陈少华
收藏  |  浏览/下载：30/0  |  提交时间：2014/04/02
基于动态描述逻辑的语义Web服务组合 期刊论文  OAI收割
计算机学报, 2013, 卷号: 36.0, 期号: 012, 页码: 2468
作者:  常亮;  刘进;  古天龙;  史忠植
  |  收藏  |  浏览/下载：34/0  |  提交时间：2023/12/04
《3S技术与中国野生动物生境评价》出版[J] 期刊论文  OAI收割
兽类学报, 2012, 卷号: 1, 页码: 47
作者:  杨维康;  中国科学院新疆生态与地理研究所
  |  收藏  |  浏览/下载：20/0  |  提交时间：2017/12/29
基于动态描述逻辑DDL的动作理论 期刊论文  OAI收割
计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203
作者:  常亮;  陈立民
  |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04
可判定的时序动态描述逻辑 期刊论文  OAI收割
软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524
作者:  常亮;  史忠植;  古天龙;  王晓峰
  |  收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
迫选规则体验法:检验规范性和描述性风险决策理论的新尝试 期刊论文  OAI收割
心理学报, 2009, 卷号: 41, 期号: 8, 页码: 726-736
作者:  饶俪琳;  梁竹苑;  李纾
  |  收藏  |  浏览/下载：22/0  |  提交时间：2011/01/21
动态描述逻辑的Tableau判定算法 期刊论文  OAI收割
计算机学报, 2008, 期号: 第6期, 页码: 896—909
作者:  常亮;  史忠植;  邱莉榕;  林芬
  |  收藏  |  浏览/下载：15/0  |  提交时间：2010/10/19
动态描述逻辑的Tableau判定算法 期刊论文  OAI收割
计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896
作者:  常亮;  史忠植;  邱莉榕;  林芬
  |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04
模式匹配问题的描述框架与算法模型 期刊论文  OAI收割
模式识别与人工智能, 2006, 卷号: 19, 期号: 6, 页码: 715-721
张治; 车皓阳; 施鹏飞
  |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13
一致性测试中的时间约束及测试用例生成算法 期刊论文  OAI收割
西安交通大学学报, 2006, 卷号: 40, 期号: 4, 页码: 381-385
赵保华; 柯尧
  |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/13