说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 格蕴涵代数方程
1.
To Solve Some Special Classes of Lattice Implication Algebraic Equations of L_n×L_2
L_n×L_2上几类特殊类型格蕴涵代数方程的解法
2.
Study on the Lattice Implication Algebra and the Problem of Ascending Subgraph Decomposition;
格蕴涵代数与图的升分解问题的研究
3.
Study on the Alpha-Subsets and Inequalities of Lattice Implication Algebras;
格蕴涵代数中a-化子和不等式的研究
4.
Some Fuzzy LI - Ideals in Lattice Implication Algebras;
格蕴涵代数的Fuzzy LI—理想(英文)
5.
Study on the Relation between Lattice Implication Algebras and Correlative Logic Algebras;
格蕴涵代数与相关逻辑代数关系的研究
6.
The Study of Approximate Reasoning in Lattice-Valued Logic Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑中的近似推理研究
7.
Study on Lattice-valued Logic Based on Lattice Implication Algebra and Its Model Theory;
基于格蕴涵代数的格值逻辑及其模型论的研究
8.
Implicative filters and positive implicative filters of MTL algebras;
MTL代数的蕴涵滤子与正蕴涵滤子
9.
Research on Lattice Implication Algebra and Uncertain Reasoning Based on Linguistic Truth Value;
格蕴涵代数及语言真值不确定性推理研究
10.
Research on Structure of Lattice Implication Algebras and L-fuzzy Bi-topological Topological Spaces;
格蕴涵代数和L-fuzzy双拓扑空间的构造之研究
11.
Multi-fold Fuzzy Positive Implicative Filter of Residuated Lattice Implication Algebras
格蕴涵代数中多重模糊正关联滤子的研究
12.
The Property of Lukasiewicz Implication Algebra;
Lukasiewicz蕴涵代数及其性质
13.
Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_(vfl) Based on Lattice Implication Algebra;
基于格蕴涵代数的格值一阶逻辑L_(vfl)中的不确定性推理研究
14.
Research on Automated Reasoning of Lattice-valued Logic Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑系统的归结自动推理研究
15.
Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究
16.
Lattice-Valued Logical System and Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑系统及其自动推理的研究
17.
Strongly Implicative a-ideals and Fuzzy Strongly a-ideals of BCI-Algebras;
BCI-代数的广义强蕴涵a-理想与广义Fuzzy强蕴涵a-理想
18.
Order-reversing Involution Operator in Bounded Implicative-algebras;
有界蕴涵BCK-代数中的逆对合算子