您的位置首页百科问答

什么是归结反演

Simone 发布于 2023-05-06 09:11:21 642 阅读

归结反演

归结反演亦称消解反演，是一种证明定理的计算机过程。所使用的证明方法与数学中的反证法思想十分相似，归结反演除了可用于定理证明外，还可用来求取问题的答案。

想要了解更多“归结反演”的信息，请点击：归结反演百科

标签:归结反演,反演,归结,求解