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

RUE—NRF演绎与使用归结和调解的演绎
引用本文:刘叙华,孙吉贵.RUE—NRF演绎与使用归结和调解的演绎[J].吉林大学自然科学学报,1993(2):32-36.
作者姓名:刘叙华  孙吉贵
摘    要:

关 键 词:归结  调解  RUE-NRF演绎
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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