英语词汇“automatic theorem proving”的读音、翻译、释义、用法及例句-英译汉实时翻译、汉译英在线翻译、英汉互译翻译词典-国先网

词汇	automatic theorem proving
类别	英译汉实时翻译、汉译英在线翻译、英汉互译翻译词典
释义	automatic theorem proving 英?[??:t??m?tik ?θi:?r?m ?pru:vi?] 美?[??t??m?t?k ?θi?r?m ?pruv??] 释义机械证明定理行业词典计算机自动定理证明???
随便看	tihanges Tihany tihanyi tihar ti-he Tihoda?ne, Erg tihomir tihs tihua ti hua ku tihuanaco Tihuatlan Tihwa tihwas Tihmah Tihmat ash Shm Tihmat 'Asr Tihje TII t.ii tiian tiiat tiie tiieir tiiere

国先网英语在线翻译词典收录了4367410条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。

automatic theorem proving