NC调解相关论文
本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据....
本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。更多还原......
