微信服务号
微信订阅号
NC-RUE-NRF RESOLUTION
Author:
Affiliation:
- Article | |
- Metrics |
- Reference |
- Related [20] |
- Cited by | |
- Comments
Abstract:
This paper defines the method of NC-RUE-NRF resolution, and provesthe completeness of the deduction of using NC-RUE-NRF resolution for generalizedclauses set which contains equality.
Get Citation
刘叙华,孙吉贵. NC－RUE－NRF归结.软件学报,1995,6(2):65-68
Copy
Article Metrics
- Abstract:
- PDF:
- HTML:
- Cited by:
History
- Received:October 09,1992
- Revised:March 10,1993
You are the first2045176Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.
