< 上一个
|
内容
|
下一个 >
2.2
自动定理证明
2.2.1 自动定理证明的起源、发展与现状
2.2.2 Herbrand 定理
2.2.3 合一与匹配
2.2.4 归结原理
2.2.5 归结原理的改进策略
2.2.6 等词推理
2.2.7 几何定理证明和数学机械化
2.2.8 定理证明器竞赛和著名定理证明器
< 上一个
|
内容
|
下一个 >