Terms containing theorem proving

Subject	English	Chinese
IT	automatic theorem proving	自动定理证明
tech.	automatic theorem proving	机械证明定理
IT	machine theorem proving	机器定理证明
IT	mechanical theorem proving	机器定理证明
met.	mechanical theorem proving	机器证明
met.	mechanical theorem proving	机器验证
tech.	mechanical theorem proving	定理的机器证明
AI.	mechanical theorem proving in geometry	几何定理机器证明
AI.	nonresolution theorem proving	非归结定理证明
tech.	resolution theorem-proving	解析定理证明
tech.	theorem proving	定理证明
AI.	Theorem Proving System	定理证明系统