Clifford定理证明
Proof of Clifford Theorem
按分解律的定理证明
theorem proving by resolution
按分解律反演的定理证明
theorem proving by resolution refutation
单逻定理证明
single logical theorem proving
归结定理证明消解式定理证明
resolution theorem proving
机器人问题求解定理证明
theorem proving for robot problem solving
机械式定理证明
mechanical theorem proving
基于规则系统的定理证明
theorem proving by rule based system
使用分解律的定理证明
theorem proving use of resolution
自动定理证明
automatic theorem proving
automated theorem proving
automated theorem prover
Theorem mechanical prove
automated reasoning
定理机器证明
mechanical theorem proving
theorem proving
automated theorem proving
theorem mechanical proving
定理机械证明
theorem’s mechanical proof
几何定理机器证明
automated geometry theorem proving
几何定理自动证明
automated geometry theorem proving