正交模格 模糊粗近似算子 模糊化 模态逻辑 检测算法 格值一阶逻辑系统lf(x) 格 极大滤子 机械化 服务逻辑 服务矩阵 时间自动机 时间动作锁 效应代数 形式代数 强剩余bcc-代数 弱br0代数 延时 度量 广义量词 广义效应代数 布尔矩阵环 完备格 完备性 多值逻辑 商代数 命题演算系统 同态映射 合成服务建模 可逆电路 双层结构 剩余bcc-代数 伴随 伪格蕴涵代数 伪子格蕴涵代数 代数刻画 串扰 三i算法 α -归结原理 r0单位区间 nbl*形式系统 m滤子 mr0代数 l模糊粗糙集 luk-lindenbaum代数 k级元 jena imtl代数 ht系统 ht代数 fuzzy素理想 fuzzy理想 fuzzy子代数 fuzzy关联mp滤子
构件组装 本体 服务科学 服务合成 服务代数 时延 无序 数字媒体 效应代数 攻击 收敛序列 态射 归结 度量 广义演绎定理 广义效应代数 布尔代数 布尔mp滤子 属性 导出函数 完备性 复数 图形转换 四值逻辑 命题线性时序逻辑 同态映射 同态 同余关系 合成推理 可逆计数器 可逆电路 反射变换 功能树 创新推理 分类分析 函数f:{0,1/2,1}n→{0,1/2,1} 关联mp滤子 充要条件 代数 乘积代数 串扰 业务流程管理 业务流程模型 专业领域 不动点 三元 三值lukasiewicz 命题逻辑l3* △-滤子 wbr0-代数 riesz理想 n值逻辑度量空间 mv代数 mv mp滤子
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106