字典網>> 漢英字典>> Z開頭詞條>>自動定理證明的英文翻譯 自動定理證明拼音：zì dòng dìng lǐ zhèng míng 英文解釋：【計】 automatic theorem proving相關詞語自動支付 自動校驗 自動測量記錄傳導 自動車床 自動顯示及繪圖系統 自動頻率控制電路 自動換行 自動倒轉 自動信息處理系統 自動挺桿調整器