... theorem proving machine 定理证明机 natural deduction theorem proving 自然演绎法定理证明 theorem proving system 定理证明系统 ...
基于20个网页-相关网页
短语
几何定理机器证明
mechanical theorem-proving in geometry
;
mechanical geometry theorem proving
定理机器证明
Automated theorem proving
-
theorem proving machine
theorem-proving machine
·2,447,543篇论文数据，部分数据来源于NoteExpress