| α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X） |
| |
| 引用本文： | 何星星,徐扬,李莹芳,刘军.α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）[J].东华大学学报(英文版),2012(1):66-70. |
| |
| 作者姓名： | 何星星 徐扬 李莹芳 刘军 |
| |
| 作者单位： | [1]Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China [2]School of Computing and Mathematics, University of Ulster, Northern Ireland, UK |
| |
| 基金项目： | Foundation items： National Natural Science Foundations of China （ No. 60875034, No. 61175055 ） |
| |
| 摘 要： |
|
| 本文献已被 维普 等数据库收录！ |
|
