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