几何定理机器证明
- 网络mechanical theorem-proving in geometry; Mechanical geometry theorem proving
几何定理机器证明几何定理机器证明
mechanical theorem-proving in geometry
定理用英... ... Liapunov theorem of criterion 里雅普诺夫判别定理 mechanical theorem-proving in geometry 几何定理机器证明 ...
Mechanical geometry theorem proving
... ) mechanical geometric theorem proving 几何定理的机器证明 ) Mechanical geometry theorem proving 几何定理机器证明 ...
1