查单词
查 询
定理证明机
定理证明机
ピンイン
dìng lǐ zhèng míng jī
英語訳
theorem proving machine
相关/近似词汇:
theorem
自動定理証明
定理证明机
定理证明机
英語訳 theorem proving machine