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

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

帮助

条数/页：排序方式：
	一种新型递归函数的求值算法期刊论文 OAI收割软件学报, 2004, 卷号: 15, 期号: 9, 页码: 1277-1291 陈海明 \| 收藏 \|
	模形式值的一些算术性质——超越数论的一个新进展期刊论文 OAI收割河南大学学报：自然科学版, 2004, 卷号: 34.0, 期号: 002, 页码: 1-9 作者: 徐广善 \| 收藏 \|
	一个支持规约获取的形式规约语言期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 5, 页码: 459-466 陈海明; 董韫美 \| 收藏 \|
	F函数值在K_ν上无关性的度量期刊论文 OAI收割数学进展, 2001, 页码: 443 作者: 徐广善 \| 收藏 \|
	基于上下文无关语言递归函数的规约语言研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999 陈海明收藏 \|
	运算构造和检验系统FC的设计和实现期刊论文 OAI收割软件学报, 1998, 卷号: 9, 期号: 10, 页码: 755-759 陈海明 \| 收藏 \|
	喷注电荷截面方法期刊论文 OAI收割物理学报, 1986, 期号: 8, 页码: 141-151 作者: 杜东生; 杨新娥; 罗马收藏 \|