大家在查： Bayaran cynthiatutu 连通管 coigne Bierstadt 4,380 高塔姆方面具备 Lalit.Mohan wsit-client.xml

prover

美 [prʊvə]英 [prʊvə]

n.试验装置；【印】打校样的工人；〈古〉证明者
网络校准装置；醒发室；校准仪

prover

英-汉网络释义

prover

证明者

一个交互式证明系统包含两个参与者，一个证明者(prover)，P，它展示出一个长度为n的输入字串x是否在语言L之内的证明，和 …

校准装置

The leopard cannot change his spots -... ... Visual 视觉 prover 证人，校准[试验]装置 Example 范例 ...

醒发室

烘焙专业词汇_百度文库 ... 洗碗机 dish washer 醒发室 prover 榨汁机 juice extractor,squeezer ...

校准仪

prove-相近词汇-新浪字典 ... proventriculus 前胃 prover 校准仪 provided 连接词>>假若 ...

管形验

Kirchhoffs Law for Power Supply impedanc ... pipe 积管； prover 管形验 pipe 管螺纹 ...

醉收室

【援引】烘焙专业词汇_iht89_新浪博客 ... 洗碗机 dish washer 醉收室 prover 榨汁机 juice extractor,squeezer ...

证人

石油词汇英语翻译(P) ... prover tank 检验罐 prover 证人 proverb 谚语 ...

体积管

体积管,prover,音标,读音,翻译,英文例句,英语... ... ) prover 体积管 ) volume tube 体积管 ...

例句：

The Prover randomly generates it during the issuance protocol , together with a corresponding private key for the U-Prove token .

验证方会在发布协议中随机生成公钥，此时会使用针对 U-Prove 令牌的相关私钥。

A prover for parallel numerical verification of a class of constructive geometry theorems .

一类构造性几何定理的数值并行法证明器。

In these cases , a first-order theorem prover may fail to terminate while searching for a proof .

在这种情况下，一阶定理证明者可能会失败而终止，而寻找证据。

PVS is a verification system : that is , a specification language integrated with support tools and a theorem prover.

PVS 是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。

Without automated theorem prover, programmers have to generate all proofs by hand , which is a huge workload .

没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。

He ended the article with a prover.

他用一句谚语作为文章的结尾。

Prover: Wangjida , General Manager in Anhui Risheng Real Estate Co. now .

证明人：现安徵省日申房地产开发公司总经理。

prover

prover

证明者

校准装置

醒发室

校准仪

管形验

醉收室

证人

体积管

热词推荐

大家在看