期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
归纳法推理系统模式自动生成的一种实现途径
下载PDF
职称材料
导出
摘要
本文给出了归纳法推理系统模式自动生成程序的一种分析方法,有助于快速掌握有关模式自动生成的实现原理。
作者
侯家利
路羽中
机构地区
东莞理工学院
新疆伊犁师范学院计科系
出处
《武汉科技学院学报》
2004年第8期75-76,共2页
Journal of Wuhan Institute of Science and Technology
关键词
归纳法推理
理论分析方法
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
8
参考文献
1
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
李卫华,张黔,张亮,刘娟.
归纳法模式的自动生成[J]
.软件学报,1996,7(3):168-174.
被引量：1
二级参考文献
8
1
李卫华，计算机学报，1996年，3期
2
刘叙华，基于归结方法的自动推理，1994年
3
李卫华，人工智能程序设计，1989年
4
李卫华，计算机工程与应用，1984年，10期
5
李卫华，计算机工程与应用，1984年，11期
6
李卫华，计算机工程与应用，1983年，7期
7
李卫华，计算机工程与应用，1982年，4期
8
李卫华，计算机工程与应用，1982年，5期
1
李卫华,张黔.
归纳法推理中的各种推理策略[J]
.软件学报,1996,7(A00):551-557.
2
李卫华,张黔.
归纳法推理中的项重写策略[J]
.软件学报,1996,7(A00):565-571.
3
金涛,刘瑛睿.
归纳法推理中若干问题的探讨[J]
.计算机工程与应用,2000,36(5):12-14.
被引量：1
4
李卫华,张黔,刘娟,石自力.
归纳法推理系统[J]
.计算机学报,1996,19(3):230-236.
被引量：3
5
刘建华.
根据用户行为模式自动生成动态链接的方法[J]
.福建师范大学学报（自然科学版）,2004,20(4):32-34.
被引量：1
6
李卫华,张黔.
归纳法推理中的子句简化策略[J]
.软件学报,1996,7(A00):558-564.
7
张黔.
并行归纳法推理系统[J]
.计算机应用研究,1998,15(4):5-9.
8
李卫华,张黔,张亮,刘娟.
归纳法模式的自动生成[J]
.软件学报,1996,7(3):168-174.
被引量：1
9
周强.
改进C-均值算法实现时序数据模式自动生成[J]
.黑龙江科技信息,2007(08X):83-83.
10
郑家恒,王兴义,李飞.
信息抽取模式自动生成方法的研究[J]
.中文信息学报,2004,18(1):48-54.
被引量：22
武汉科技学院学报
2004年 第8期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
