加深对归结原理进行定理证明过程的理解，掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节，进一步了解实 现机器自动定理证明的步骤。
采用C++
2022-11-04 18:32:29
10KB
1