theorem – phrases

Terms for subject Artificial intelligence containing theorem | all forms | exact matches only

English	Chinese
Boyer-Moore theorem prover	Boyer-Moore 定理证明系统
Euler theorem for polyhedral object	多面体欧拉定理
geometry theorem prover	几何定理证明程序
mechanical theorem proving in geometry	几何定理机器证明
nonresolution theorem proving	非归结定理证明
projection theorem for Fourier transform	傅里叶变换的投影定理
Theorem Proving System	定理证明系统