查询词典 abelian theorem

theorem proving：定理证明

所采用的主要是定理证明(theorem proving)技术. 80年代初,最大的进展是Pnueli将时态逻辑引入到反应式程序的验证中. 1981年,Clarke等提出了模型检验(Model Checking)方法,实现了对于并发系统的自动验证问题. 然而,

theorem proving：定理证实

纹理 texture | 定理证实 theorem proving | 治疗模型 therapy model

Purely competitive：純粹競爭的

Pure strategy 單一策略 | Purely competitive 純粹競爭的 | Purification theorem 純化理論

pyramidal surface：棱锥曲面

pyramidal 角锥的 | pyramidal surface 棱锥曲面 | pythagoras theorem 毕达哥拉斯定理

pythagoras theorem：毕达哥拉斯定理

直角三角形如果直角三角形两直角边分别为a、b,斜边为c,那么a2+b2=c2.即直角三角形两直角边的平方和等于斜边的平方.勾股定理在西方文献中又称为毕达哥拉斯定理(pythagoras theorem)

pythagoras theorem：畢氏定理

跟据毕氏定理(Pythagoras theOrEm)和我的见解,原来每样事情其实都好简单,只不过是自己老是把它复杂化,钻牛角尖,庸人自扰.其实只要认清楚自己的目标,凡事总会变得更近.

pythagoras theorem：勾股定理

pyramid 棱锥(体);角锥(体) | Pythagoras' theorem 勾股定理 | Pythagorean triplet 毕氏三元数组

pythagoras theorem：毕氏定 ,毕达哥 斯定 ,曾用名"商高定

puzzle 谜语,难题 | Pythagoras theorem 毕氏定 ,毕达哥 斯定 ,曾用名"商高定 " | Pythagorean numbers 毕达哥斯

The Theorem of Pythagoras：《勾股世界>

> Number Patterns | > The Theorem of Pythagoras | > The World of Statistics

pythagorean field：毕达哥拉斯域

pythagoras theorem 毕达哥拉斯定理 | pythagorean field 毕达哥拉斯域 | pythagorean numbers 毕达哥拉斯数

Permanently mounted to American-made 3/4" hose bibb：永久安装在美国制造的3 / 4 "软管比伯

Features: 特点: | Permanently mounted to American-made 3/4" hose bibb永久安装在美国制造的3 / 4 "软管比伯 | Editorial Review: 编辑审查:

Exhale ,forward：呼,前屈

Bend your knees,inhale,reach up to utkatasana;屈膝,吸,双臂上举,幻椅式 | Exhale ,forward; 呼,前屈 | inhale, lift your spine, hands connected; 吸,伸展脊柱,手连接(地面或小腿)