日语在线翻译
查 词
定理证明系统
中
定理证明系统
ピンイン
dìng lǐ zhèng míng xì tǒng
英語訳
theorem proving system