数理逻辑-归结法原理

- 归结法原理 - 马殿富北航计算机学院2012-4 - 主要内容 - 机械证明简介命题逻辑归结法谓词逻辑归结法