日语在线翻译
查 词
自動定理証明法
日
[じどうていりしょうめいほう]
[zidouteirisyoumeihou]
自動定理証明法
读成：
じどうていりしょうめいほう
中文：
机械证明定理