查询词典 algebras
- 与 algebras 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.
基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。
-
The derived equivalences of extension algebras are studied in the second chapter.
第二章我们讨论扩张代数的导出等价。
- 推荐网络例句
-
You have to walk your own alk in this life.
次生中你必须走自己的路。
-
To start with, the thesis analyses ***ism in terms of the generic masculine words, word order and semantic derogation of women in greater detail.
论文首先从阳性词泛指，词序，词义的贬降等方面对英语中的性别歧视现象进行了详细的分析。
-
What about you?You''re an incomplete being as well.
你自己还不也是一个不完全的生物。