| 注册

并行单元归结

夏世芬 马淑霞 徐扬

四川师范大学学报(自然科学版)2004,Vol.27Issue(5):501-504,4.
四川师范大学学报(自然科学版)2004,Vol.27Issue(5):501-504,4.

并行单元归结

Parallel Unit Resolution

夏世芬 1马淑霞 1徐扬1

作者信息

  • 1. 西南交通大学,数学系,四川,成都,610031
  • 折叠

摘要

关键词

归结/神经网络/Horn子句集/完备性

分类

数理科学

引用本文复制引用

夏世芬,马淑霞,徐扬..并行单元归结[J].四川师范大学学报(自然科学版),2004,27(5):501-504,4.

四川师范大学学报(自然科学版)

OA北大核心CSCDCSTPCD

1001-8395

访问量0
|
下载量0
段落导航相关论文