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

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	基于关联规则学习的带参验证系统 [学位论文] 硕士, 北京: 中国科学院大学, 2019-05-01 曹嘉伦 \|
	语义Web中的自动推理和主动规则终止性分析 [学位论文] 博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04 徐贵红 \|
	基于约束的主动规则终止性分析 [期刊论文] 计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 5, 页码: 894-900 徐贵红; 张健 \|
	基于上下文依赖规则覆盖的句子生成 [期刊论文] 计算机工程与应用, 2005-01-01, 卷号: 41, 期号: 17, 页码: 96-100 沈扬; 陈海明 \|
	基于重写技术的自动定理证明 [期刊论文] 计算机科学, 1992-01-01, 期号: 2, 页码: 79-80,24 张健


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