英语词汇“自动化证明”的英文翻译、意思、用法、释义-英汉汉英词典-MRM资料网

单词	自动化证明
释义	自动化证明automated proof
随便看	normalin的意思 normal incidence的意思 normal incidence detectors的意思 normal incidence point的意思 normal incidence pyrheliometer的意思 normal-incidence reflection的意思 normal incidence section的意思 normal incident absorption coefficient的意思 normal incident sound absorption coefficient的意思 normal income rate的意思 normal increment的意思 normal indication的意思 normal induction的意思 normal induction curve的意思 normal initialing的意思 normal initial status的意思 normalin (phillipsite)的意思 normal input cause的意思 normal input/output control executive的意思 normal inspection的意思 normal install的意思 normal instruction的意思 normal integral的意思 normal interest rate的意思 normal international rubber hardness degree tester的意思