日语在线翻译
查 词
非解析定理求解
日
[ひかいせきていりもとめかい]
[hikaisekiteirimotomekai]
非解析定理求解
ピンイン
fēi jiě xī dìng lǐ qiú jiě
英語訳
non-resolution theorem proving