中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	标记逻辑程序理论研究:说明语义与过程语义学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994 作者: 周生炳收藏 \| 浏览/下载：52/0 \| 提交时间：2015/09/02 非单调推理容错推理标记逻辑程序支持模型诱导序列不循环程序多次极限多重极限表达式的复盖分解和划分 SLD-博弈树删除策略依赖团 nonmonotonic reasoning error-tolerated reasoning annotated logic program acyclic program supported model induced sequence coveri
	组合逻辑函数化简的动态极大复盖法期刊论文 OAI收割长春光学精密机械学院学报, 1991, 期号: 01, 页码: 67-69 苗长艳; 杜震霖收藏 \| 浏览/下载：23/0 \| 提交时间：2013/03/11 组合逻辑函数动态极大复盖计算机程序
	我国西南地区农林业的发展期刊论文 OAI收割农业现代化研究, 1989, 卷号: 10, 期号: 5, 页码: 24-27 叶谦吉; 王朝全收藏 \| 浏览/下载：23/0 \| 提交时间：2013/02/23 农林业我国西南西南地区国土农林业系统自然基础疏林地农业生产地形地貌森林复盖率
	太阳能育秧的研究期刊论文 OAI收割太阳能学报, 1987, 期号: 1 刘森元收藏 \| 浏览/下载：122/20 \| 提交时间：2010/06/09 透光薄膜育秧技术秧苗生长复盖太阳能三叶期秧田土温透过率质素
	七十年代以来美国土地调查遙感应用的发展期刊论文 OAI收割地理研究, 1986, 卷号: 4, 期号: 1, 页码: 85-91 孙育秋收藏 \| 浏览/下载：24/0 \| 提交时间：2013/04/28 国土地质测量局自动制图遥感土地利用分类七十年代土地调查复盖陆地卫星热红外图象
	元江干热河谷山地五百年来植被变迁探讨期刊论文 OAI收割云南植物研究, 1985, 卷号: 7, 期号: 4, 页码: 403-412 许再富; 陶国达; 禹平华; 王耀龙收藏 \| 浏览/下载：40/0 \| 提交时间：2012/05/22 植被变化森林复盖率植物群落演替动态植被恢复
	热脱附谱图的理论分析期刊论文 OAI收割催化学报, 1980, 卷号: 1, 期号: 3, 页码: 229-240 王吉祥; 谢筱帆收藏 \| 浏览/下载：30/0 \| 提交时间：2012/06/18 不均匀表面脱附活化能升温速度再吸附复盖度脱附动力学热脱附谱脱附速度