These axioms form the basis for term rewriting systems we for mining workflows.

I know a lot of logarithms and axioms, but not the language of love.

我知道很多的对数和公理, 而不是爱的语言.

互联网摘选

Further on, we can specify an algebra that consists of axioms for commutativity, distributivity, associativity, etc.

进一步的, 我们可以定义包含交换律 、 分配律 、 结合律等公理的代数.

互联网摘选

Theorems are derived from the axioms.

命题则从规律中推演得来.

互联网摘选

The basic principles include 2 axioms and 3 derivation principles.

基本原理包括:2个公理和3个派生原理:环境依赖性、术和设备依赖性、确定性和风险.

互联网摘选

Martin Axioms roles in morden mathematics.

马丁公理在现代数学中的作用.

互联网摘选

Context: The Greeks based the study of geometry on definitions and axioms.

上下文: 希腊人把几何研究的最基本出发点放在定义和公理上.

互联网摘选

Finally, the common logic coverage criteria are assessed against the axioms system.

最后通过这组公理系统来评估现有的逻辑覆盖测试准则.

互联网摘选

My aunt is full of copy-book axioms.

我的姑妈张口就是字贴上的格言.

词典精选例句

The simplest of the substitute axioms was suggested by him in 1969.

最简单的代替公理是在1969年由他提出的.

词典精选例句

The theorems should be deduced from axioms by purely logical arguments.

定理应该通过纯粹的逻辑的推导而从公理演绎得到.

词典精选例句

The axioms adopted by Euelid mere supposed to be self-evident truths.

欧几里德用的公理都应看作是不证自明的真理.

词典精选例句

He describes his search for the axion as one involving romance.

范·比伯把自己对轴子的搜寻描述成犹如一个人陷入情爱之中.

网络文摘精选

There continuing efforts to prove the parallel axion do not imply ignorance of Gauss's thoughts.

继续努力去证明平行公理并不意味着不知道高斯的思想.

词典精选例句

Clicking on the center point rotates the model around the axis of the action line.

点击中心点沿着作用线的轴向旋转手臂.

网络文摘精选

Make full use of quality of bearing of distant axis electric machinery is high.

充分利用辽轴电机轴承质量高.

网络文摘精选

Last, the favorable situation ofthe development of the axis Motion Controller isdepicted.

最后分析了其良好的发展前景.

网络文摘精选

Rotating the image according to the inertial principal axis can normalize it in position.

通过计算惯性主轴及图像旋转完成了位置归一化处理.

网络文摘精选

Figure 4 is a functional block diagram of a 2 axis MEMS integrated accelerometer.

图4所示为两轴MEMS整合的加速度计的原理框图.

网络文摘精选

The vertical axis displays the range we entered.

纵轴显示我们输入的范围.

网络文摘精选

We draw our vertical axis curve following the street we chose as the axis.

纵主轴曲线我们则画沿著我们选的当主轴的一条路.

网络文摘精选