英语人>网络例句>extension axiom 相关的网络例句
extension axiom相关的网络例句

查询词典 extension axiom

与 extension axiom 相关的网络例句 [注:此内容来源于网络,仅供参考]

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统,文章还讨论了对象演算的公理化,它是Trace演算公理系统的扩充。

推荐网络例句

On closer examination, though, this is not a vote for multilateralism but just the opposite.

仔细审视后我们发现,这并非是对多边主义投出的赞成票,而是恰好相反。

Uncovering their weak spots, so I can defeat them.

揭露出他们的弱点,这样我就可以打败他们了。

Methyl bromides, in C_(3v) symmetry, have been extensively studied at their first absorption A-band because the behavior of these molecules can be used as a prototype for depicting numerous types of photodissociations in a variety of polyatomic molecules.

例如,有很多研究报道了C_(3v)对称的溴甲烷等分子在第一吸收带的光解,这是因为其光解行为可以作为理解其它多原子分光解的原型。