查询词典 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.
第二章我们讨论扩张代数的导出等价。
- 推荐网络例句
-
In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.
与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。
-
From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.
从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。
-
FFT is important for additive synthesis because it helps us to estimate the values for the oscillators that produce the partials of the synthesised sounds.
FFT对加法合成是很重要的，因为它有助于我们评估产生合成音分音的振荡器的价值。