中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页: 排序方式:
动态描述逻辑的Tableau判定算法 期刊论文  OAI收割
计算机学报, 2008, 期号: 第6期, 页码: 896—909
作者:  
常亮;  史忠植;  邱莉榕;  林芬
  |  收藏  |  浏览/下载:16/0  |  提交时间:2010/10/19
动态描述逻辑的Tableau判定算法 期刊论文  OAI收割
计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896
作者:  
常亮;  史忠植;  邱莉榕;  林芬
  |  收藏  |  浏览/下载:2/0  |  提交时间:2023/12/04
无碰撞电流片哨声波不稳定性 期刊论文  OAI收割
空间科学学报, 2005, 卷号: 25, 期号: 3, 页码: 161-166
周国成; 魏新华; 曹晋滨; 王德驹; 蔡春林
收藏  |  浏览/下载:19/0  |  提交时间:2014/04/30
ERP系统中持久对象动态性研究 期刊论文  OAI收割
计算机集成制造系统, 2003, 卷号: 9, 期号: 5, 页码: 378-383
边世红; 薛劲松; 宋学艳
  |  收藏  |  浏览/下载:26/0  |  提交时间:2011/07/29
层次分析法中高阶平均随机一致性指标(RI)的计算 期刊论文  OAI收割
计算机工程与应用, 2002, 卷号: 38, 期号: 12
洪志国; 李焱; 范植华; 王勇
  |  收藏  |  浏览/下载:9/0  |  提交时间:2010/08/20
层次分析法中高阶平均随机一致性指标(RI)的计算 期刊论文  OAI收割
计算机工程与应用, 2002, 卷号: 38, 期号: 12, 页码: 45-47,150
洪志国; 李焱; 范植华; 王勇
  |  收藏  |  浏览/下载:63/0  |  提交时间:2011/07/29
企业信息化经济性问题研究 期刊论文  OAI收割
技术经济, 2001, 期号: 11, 页码: 50-52
郭海楼; 郑可心
收藏  |  浏览/下载:8/0  |  提交时间:2013/03/11
超越数论中一些重要内容和猜想—从e和π谈起 期刊论文  OAI收割
河南大学学报:自然科学版, 2001, 卷号: 31.0, 期号: 004, 页码: 1-10
作者:  
徐广善
  |  收藏  |  浏览/下载:8/0  |  提交时间:2021/01/14
湍流中的相干结构 期刊论文  OAI收割
中国科学基金, 1990, 期号: 1, 页码: 29-37
作者:  
王发民
收藏  |  浏览/下载:1181/44  |  提交时间:2009/08/03
防城港拦门沙航道稳定因素的分析 CNKI期刊论文  OAI收割
1989
作者:  
杨治家,林国军,吴龙生,蒋孟荣,岳海东
  |  收藏  |  浏览/下载:0/0  |  提交时间:2024/12/18