provers

provers

美 　英

• 网络证人

例句

Food processing machinery - Intermediate provers - Safety and hygiene requirements.

食品加工机.中间校准仪.安全和卫生要求

Interactive theorem provers require a human user to give hints to the system.

互动定理provers需要人类给予提示用户的系统。

Despite these theoretical limits, practical theorem provers can solve many hard problems in these logics.

尽管取得了这些理论的限制，实际定理provers可以解决许多困难问题，在这些逻辑。

liquid hydrocarbons . dynamic measurement . proving systems for volumetric meters . part 2 : pipe provers.

液态烃。动态测量。容量计用验证系统。第2部分：管子液压试验器。

Liquid hydrocarbons - Dynamic measurement - Proving systems for volumetric meters - Guide for operators of pipe provers

液态烃.动态测量.容积式流量计试验系统.管道验证操作者指南

Dynamic measurement of crude oil--Technical stipulations of installation for fixed pipe provers

原油动态计量固定式标准体积管安装技术规定

Liquid hydrocarbons - Dynamic measurement - Proving systems for volumetric meters - Part 4: Guide for operators of pipe provers

液态烃.动态测量.容积式流量计试验系统.第4部分：管道验证操作者指南