查询词典 prover

Nonmonotonic truth maintenance system can be used as nonmonotonic theory prover and problem solver,and explanation-based learning.

采用面向对象的编程技术软件实现具有理论确定功能的专家系统框架，具有良好的人机交互界面。

Isabelle is a generic theorem prover, developed at the University of Cambridge.

Isabelle是一个遗传定理证明，它是Cambridge大学开发的。

By showing that the equivalence is satisfied,the prover convinced the verifier of the presence of the watermark.

在计算离散对数困难的假定下，协议没有泄漏任何敏感信息并且被证明是零知识的。

Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.

有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。

It implements an automated theorem prover for Pointer Logic.

实现了一个用于指针逻辑的自动定理证明器。

In this paper, we first give an introduction to the architecture of VeriJava project and its language extension of Java, then we discuss in detail on theory and design of theorem prover based static verifier, which is the core part of our project, with related examples.

首先介绍了VeriJava项目的整体架构，及其对Java进行的语言层面的扩展，进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计，并给出了相关示例。

Government prover approval is also needed.

当然同样也少不了政府的许可。

Behold, every one that useth prover shall use this proverb agait thee, saying, As is the mother, so is her daughter.

16：44 凡说俗语的必用俗语攻击你，说，母亲怎样，女儿也怎样。

Furthermore,this paper introduces some details in designing and implementing of the APL automated theorem prover for Pointer Logic,and describes some algorithms.

指针逻辑作为Hoare逻辑的扩展，可以对指针程序进行精确的分析。

JHYG piston Type liquid prover is a newly developed standard tool for measurement of liquid flow andquantity-value transmission.

JHYG 型活塞式液体标准体积管是新近研制成功的液体流量计量量值传递的标准器具。

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。