网站首页  英语词典

请输入您要查询的词汇:

 

词汇 prover造句
释义

prover造句

1、The Study of Hardware Verification in Theorem Prover HOL
基于定理证明器HOL的硬件验证研究

2、This paper proposes an automatic calibration system of bell prover gas calibration facility.
介绍了一种钟罩式气体流量标准装置自动检定系统。

3、A prover for parallel numerical verification of a class of constructive geometry theorems.
一类构造性几何定理的数值并行法证明器。

prover翻译

【法】 证明者, 证实者, 证明物
随便看

 

968yx游戏网英语在线翻译词典收录了66894条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2000-2024 968yx.com All Rights Reserved
更新时间:2026/10/21 6:29:48