英语词汇“mechanical theorem proving”的意思、用法、释义、翻译、读音、例句、短语、词组-英汉翻译词典

单词	mechanical theorem proving
释义	mechanical theorem proving un.机器证明 [网络]定理机器证明；机器定理证明；定理的机器证明
随便看	pre-compaction pre compaction precompactions precompact linear mapping precompact mapping precompact metric space precompactness precompacts precompact set precompact space precompact uniformity precompactuniformity precompensate precompensated precompensates precompensating precompensation precompetition pre-competition precompetition apathy state precompetition blind confidence state precompetition downcast symptom precompetition fever precompetition mental preparation precompetition overconfidence state

英汉翻译词典包含4368284条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。