1) theorem proving
![点击朗读](/dictall/images/read.gif)
定理证明
1.
Real Variable Function Theorem Proving Methods Exploration
![点击朗读](/dictall/images/read.gif)
实变函数论中定理证明方法探究
2.
Using this model and theorem proving .
![点击朗读](/dictall/images/read.gif)
以Otway Rees协议为例 ,利用该计算模型和定理证明技术对密码协议进行了多层需求验
3.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
2) theorem proof
![点击朗读](/dictall/images/read.gif)
定理证明
1.
Type- checking the theorem proof represented by the proposed calculus,we can find outwhethertheproof isthe rightone ofthe given theorem.
通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 。
2.
As one of the important research branch of formal verification, theorem proof plays an important role in enhancing the safty and dependability of software systems.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
3) theorem prover
![点击朗读](/dictall/images/read.gif)
定理证明器
1.
This issue account for how to realize a vacuum cleaner Agent using Java through the medium of introducing the theorem prover.
通过介绍定理证明器方法,说明如何用JAVA语言实现一个真空吸尘器Agent。
4) Proof of Clifford Theorem
![点击朗读](/dictall/images/read.gif)
Clifford定理证明
5) single logical theorem proving
![点击朗读](/dictall/images/read.gif)
单逻定理证明
6) the proveness of generalized theorem
![点击朗读](/dictall/images/read.gif)
推广定理证明
补充资料:民间证明
民间证明:指公民以私人身份作证明、或为见证人、中间人进行的证明活动。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条