日语在线翻译
查 词
程序证明
中
程序证明
ピンイン
chéng xù zhèng míng
英語訳
program proving