- 双语例句 更多例句
Simplify the axiom system of lattice implication algebras, which was given by Y.
给出的格蕴含代数的公理系统, 并给出另一个公理系统.
网络文摘精选
The concept of primary filter is proposed in residuated lattice implication algebras.
在剩余格蕴涵代数中,提出准素滤子的概念.
互联网摘选
In this paper , the concept of ultrafilter of lattice implication algebras is proposed.
根据逻辑代数方程理论, 提出了格蕴涵代数方程的概念.
互联网摘选
- 相关词组
- linear associative algebras线性结合代数
- split extension of algebras代数的分裂扩张
- separable algebras可分代数
- conversational implication会话含义;会话含义理论;会话含意
- general Cayley algebras一般凯莱代数
- probability implication概率蕴涵
- isomorphism of Lie algebras李[代数]同构
- splitting fields of algebras代数的分裂域
- multiplication algebras of matric(矩)阵的乘子代数
- by implication含蓄地,暗示地;
- profound implication深刻的含义;奥妙
- material implication实质蕴涵
- tensor product of algebras代数的张量积
- maximally central algebras极大中心代数
- inverse implication反若则命题
- genetic implication遗传影响
- mutual implication互蕴涵
- integral group algebras整群代数
- semisimple algebras半单代数
- operator algebras算子代数
- 今日热词
- 热门搜索
- bottom line n.概要,账本底线;
- jerk off vi.手淫;打手枪;打飞机;行手淫;猛地甩掉;
- irrigate vt.灌溉;冲洗(伤口);使清新;vi.灌溉;冲洗;
- sore adj.疼痛的;使人伤心的;恼火的,发怒的;n.(肌肤的)痛处,伤处;
- bishop n.(基督教某些教派管辖大教区的)主教;(国际象棋的)象;香甜葡萄酒;
- Oakland 奥克兰(美国加利福尼亚州西部港市);
- sports facility 体育设施
- Maine n.缅因州(美国东北角的州);
- steak n.牛排;碎牛肉;鱼片;
- stretch v.伸展;拉紧;绵延,延续;足够买/支付;消耗;使极尽所能;n.一片;一段时间;舒展;弹性;直道;
- disrespect n.失礼,无礼;
- viacom 维亚康姆;维亚康姆公司