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

单词	interactive theorem proving
释义	See ITP See ITP
随便看	nandsc nandu nane nanea nanee nan eilean siar nan-e lavash na-net nanettikafruit nanews nanf nanfa nanfac nan fung investments limited nang nanga parbat nanga parbat-haramosh massif nangar parbat nang canda nanggroe aceh darussalam nanggröe aceh darussalam nangjing nangka nango nangof

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