|
|||||
|
|
| 广义λ-归结中的删除策略 | |
| 引用本文： | 唐日昆,刘叙华.广义λ-归结中的删除策略[J].吉林大学学报(理学版),1993(2). |
| 作者姓名： | 唐日昆 刘叙华 |
| 作者单位： | 吉林大学计算机科学系，吉林大学计算机科学系 长春 130023，长春 130023 |
| 基金项目： | 国家自然科学基金，国家教委博士点基金，863计划，国家攀登计划资助课题 |
| 摘 要： | 本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性. |
| 关 键 词： | 广义归结 λ-归结 删除策略 |
| 本文献已被 CNKI 等数据库收录！ | |