单词查询
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部分：管子液压试验器。
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部分：管子液压试验器。