几何定理自动证明
automated geometry theorem proving
车间活动自动定时器
automatic plant exercise timer
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