非解析定理求解

【ひかいせきていりもとめかい】

非解析定理求解

ピンイン fēi jiě xī dìng lǐ qiú jiě
英語訳 non-resolution theorem proving