• The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.

    探讨了模态逻辑系统s5运算子性质进而证明关于本原运算子集的一个定理给出一些推论

    youdao

  • Operator overloading that works well with generics and built-in primitive types.

    算子多载,适用泛型内建基本型别。

    youdao

  • Operator overloading that works well with generics and built-in primitive types.

    算子多载,适用泛型内建基本型别。

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定