英语词汇“theorem proving system”的翻译、意思、用法、释义-英汉汉英词典

单词	theorem proving system
释义	theorem proving system定理证明系统theorem proving system定理証明系統電子計算機名詞
随便看	high order high-order high order bit high order byte high order character high order circuit high-order correction high order detonation high order digit high-order digit high-order effect high-order--effect high order end high order fission product high-order focusing high-order focusing spectrometer highorder focussion highorder focussion--spectrometer high order harmonic high-order harmonic high order harmonic component high order incompleteness high order language high-order language high order language--hol