查单词
查 询
定理证明程序
定理证明程序
拼音：
dìng lǐ zhèng míng chéng xù
日本語訳
セオレムプルーバ
定理证明程序
拼音：
dìng lǐ zhèng míng chéng xù
英語訳
theorem prover
索引トップ
用語の索引
ランキング
相关/近似词汇：
theorem
セオレムプルーバ
定理证明程序
定理证明程序
日本語訳 セオレムプルーバ
定理证明程序
英語訳 theorem prover