自动定理证明
automated theorem prover
automated reasoning
返回 19 条匹配短语对
几何定理自动证明
automated geometry theorem proving
自动定理证明
automated theorem prover
车间活动自动定时器
automatic plant exercise timer
自动证明
automated proving
automated reasoning
自动自动化程度
automaticity
Clifford定理证明
Proof of Clifford Theorem
按分解律的定理证明
theorem proving by resolution
按分解律反演的定理证明
theorem proving by resolution refutation
单逻定理证明
single logical theorem proving
定理证明
theorem proving
theorem reasoning
theorem
PVS
定理证明程序
theorem prover
定理证明机
theorem proving machine
定理证明器
theorem prover
定理证明系统
theorem proving system
归结定理证明消解式定理证明
resolution theorem proving
机器人问题求解定理证明
theorem proving for robot problem solving
机械式定理证明
mechanical theorem proving
基于规则系统的定理证明
theorem proving by rule based system
使用分解律的定理证明
theorem proving use of resolution
最近更新
打孔钻小齿轮传动齿轮层数减少的和谐一型大厦kite linkageMITmodified modular jackchildren of migrant rural workers覆冰监测递增运动负荷训练互花米草