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

单词	mechanical theorem proving
释义	见:proving: mechanical theorem proving
随便看	alkalis alkali source alkali spot alkali stability alkali stain alkali starch alkali-sulfite process alkali telluride photo cathode alkali tolerance alkali treatment alkalitropism alkali wash alkali works alkalization alkalize alkalizer alkaloid alkaloidal alkaloid reagent alkalometry alkalosis alkalotic alkaluria alkane alkanesulfonamide

国际大辞典收录了835600条英语、德语、日语等多语种在线翻译词条，基本涵盖了全部常用单词及词组的翻译及用法，是外语学习的有利工具。