不等式析取相关论文
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法——分阶段tableau 。在该算法中,将tableau分成两个阶......
在增添扩展规则的tableau方法的基础上提出了一种新的含等词tableau方法——等式合一方法,并证明了它的可靠性和完备性。在该方法中......
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,......
在自动推理方面的研究中,由于等词的增加,导致证明的搜索空间膨胀,简单的定理证明变得复杂,甚至得不到证明.在增添新的扩展规则的tablea......