关于strong形RUE-NRF归结的反倒 |
| |
引用本文: | 欧阳丹彤,刘叙华.关于strong形RUE-NRF归结的反倒[J].计算机学报,1994(5). |
| |
作者姓名: | 欧阳丹彤 刘叙华 |
| |
作者单位: | 吉林大学计算机科学系 |
| |
基金项目: | 国家自然科学基金,国家教委博士点基金,863计划资助 |
| |
摘 要: | 关于strong形RUE-NRF归结的反倒欧阳丹彤,刘叙华(吉林大学计算机科学系长春130023)ACOUNTEREXAMPLEOFRUE-NRFRESOLUTIONINSTRONGFORM¥OuyangDantongandLiuXuhua(Depa...
|
本文献已被 CNKI 等数据库收录! |
|