机械证明定理是什么意思_日语在线翻译_相作的翻译、含义、读音、用法、参考例句

机械证明定理

拼音： jī xiè zhèng míng dìng lǐ
日本語訳自動定理証明、自動定理証明法