中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-4 of 4)

Items/Page: Sort:
	形式化开发Hanoi塔问题非递归算法 [期刊论文] 计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99 石海鹤; 石海鹏; 薛锦云 \|
	形式化开发Hanoi塔问题非递归算法 [期刊论文] 计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99 石海鹤; 石海鹏; 薛锦云 \|
	算法程序变换研究与进展 [期刊论文] 计算机科学, 2007-01-01, 卷号: 34, 期号: 11, 页码: 232-238 石海鹤; 石海鹏; 郑宇军; 薛锦云 \|
	形式化开发若干组合数学问题的算法 [期刊论文] 江西师范大学学报(自然科学版), 2006-01-01, 期号: 5, 页码: 423-427 石海鹤; 石海鹏; 薛锦云 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In