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演算公理系统的扩充。