首页 | 本学科首页   官方微博 | 高级检索  
     

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

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号