nc－rue－nrf归结

, PP. 65-68

Keywords: rue－nrf归结,广义rue－nrf归结,nc－rue－nrf归结

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文提出了ｎｃ－ｒｕｅ－ｎｒｆ归结方法，并证明了它在含有等词广义子句集上的完备性．

Full-Text