|
国家科技期刊平台
|
注册
中文
EN
首页
|
期刊导航
|
四川师范大学学报(自然科学版)
|
并行单元归结
并行单元归结
夏世芬
马淑霞
徐扬
四川师范大学学报(自然科学版)
2004,Vol.27
Issue(5):501-504,4.
下载
✕
四川师范大学学报(自然科学版)
2004,Vol.27
Issue(5)
:501-504,4.
并行单元归结
Parallel Unit Resolution
夏世芬
1
马淑霞
1
徐扬
1
作者信息
1.
西南交通大学,数学系,四川,成都,610031
折叠
摘要
关键词
归结
/
神经网络
/
Horn子句集
/
完备性
分类
数理科学
引用本文
复制引用
夏世芬,马淑霞,徐扬..并行单元归结[J].四川师范大学学报(自然科学版),2004,27(5):501-504,4.
四川师范大学学报(自然科学版)
OA
北大核心
CSCD
CSTPCD
ISSN:
1001-8395
下载
访问量
0
|
下载量
0
段落导航
相关论文
摘要
关键词
分类
引用文本