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

关于归结原理中的取因子问题
引用本文:王湘浩,刘叙华.关于归结原理中的取因子问题[J].中国科学A辑,1982,25(11):1052-1058.
作者姓名:王湘浩  刘叙华
作者单位:吉林大学计算机系 长春
摘    要:本文提出了约化式的概念。证明了:在归结原理中,使用约化式和二元归结式的概念,而不使用因子的概念,归结原理仍然是完备的。

点击此处可从《中国科学A辑》浏览原始摘要信息
点击此处可从《中国科学A辑》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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