英语词汇proof checker怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	proof checker
释义	proof checker 简明释义证明检验程序，证明检查器网络释义 1 ?证明检查器中文模板 ointer program; pointer logic; verification condition; automated theorem prover; proof checker [gap=130]关键词: 指针程序;指针逻辑;验证条件;自动定理证明器;证明检查器 2 [计]?证明检验程序 ... 定理证明程序 theorem prover 证明检验程序 proof checker 证明审计程序 documenting the audit process ...
随便看	stretch draft stretch-draw dies stretch draw forming stretch draw forming stretch-draw forming machine stretch-draw press stretched stretched actylic plastic stretched away stretched body stretched cluster stretched condition stretched data stretched diaphragm stretched-diaphragm capacitance transducer stretched diaphragm capacitance transducer stretched-diaphragm transducer stretched diaphragm transducer stretched display stretched duralumin membrane earphone stretched-exponential stretched fiber stretched filling stretched film packaging stretched form

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