查询词典 mapping theorem

It presents a new method for designing automated theorem provers for Pointer Logic.

提出了一种为指针逻辑设计自动定理证明器的新方法。

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

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

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

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

Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.

象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。

Model checkers and theorem provers are all used to verify specifications of protocols. However, they are different. The former verify specifications in finite space, while the later prove some conclusions in infinite space.

模型检查和定理证明都是对协议的规格说明进行验证，不同的是，前者是在有限的空间中进行检查，而后者是在无限的空间证明结论。

In this paper,a mathematical model of sampling process is presented,based on stochastic processes theorem,then using this model,we establish a fire\|new equivalent sam pling theory.

在随机过程理论基础上建立了采样过程的数学模型，并利用该模型建立了一种全新的等效采样理论。

In this paper a new proof of Tehebyeheff theorem in several variables has been given.

在这篇文章中我們給出了多元逼近的定理一个新的証明。

This paper introduces the proof and application of Cauchy mean-value theorem from many angles.

本文多角度介绍了柯西中值定理的证明方法和应用。

This paper introduces the proof and application of Cauchy mean-value theorem from many angles in every aspect.

本文介绍了柯西中值定理的多种证明方法及其应用。

The comb device adopt activity releasing theorem, which achieves the compose needle to pick up yarn or release yarn. The comb with clip and cutter is complement to each other, both to cooperate with each other. Which give full pay completely due action and reduce the waste yarn and increase the production efficiency.

起底板装置采用活动释放原理，使封闭的复合针有效实现其挂纱及脱纱功能，而纱夹纱剪装置与起底板装置是相辅相成的，两者相互配合工作，才能完全发挥其应有的作用，有效减少了纱线的浪费，提高生产效率。

Apllied the data of QuickBird-2——the highest resolution remote sensing,and based on the theory and methodology of fractal geometry,we have quantitatively studied remote sensing lineations in Gaolong gold deposit of Guangxi.

采用Quick Brid-2高分辨率卫星遥感数据，通过分形几何学的盒计维数法，定量研究广西高龙金矿区遥感线性构造。

So, sometimes, to change the color can not be your food (referring to the above-mentioned crustacean) has been a sign of boiling over.

所以，有时，来改变颜色，不能你的食物一直是沸腾了的迹象。