英语词汇automated proof的读音、翻译及短语词组释义-英汉双解词典

单词	automated proof
释义	automated proof【计】自动验证
随便看	holpen hols Holst Holstein Holstein-Friesian holster Holston holt Holten's tests Holt-Harris-Teague's culture-medium Holthouse's hernia Holth's operation holtz influence machine Holtz machine holus-bolus holvi glass holvi glasses holy holy alliance Holy Apostles College and Seminary Holy Ark Holy Communion Holy Cross Holy Cross College holy day

英汉双解词典收录913115条英汉汉英双解翻译词条，基本涵盖了全部常用单词的读音、翻译及用法，是英语学习的有利工具。