退出
我的积分:
中文文献批量获取
外文文献批量获取
邓安生; 张军;
不详;
λ-恒假; 归强; 布尔代数; 算子模糊逻辑;
机译:用于生成硬随机布尔公式和析取逻辑程序的新模型
机译:使用基于SUMS的量化布尔公式的产品和产物和局部逻辑合成
机译:错误的布尔公式和Lukasiewicz逻辑集
机译:布尔算子模糊逻辑中的准调制
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:...公式...的...公式...大规模算子矩阵元素用于结构函数...公式...和横向性
机译:Boole算子Fuzzy逻辑中的广义归结原理
机译:关于布尔公式的理论:子公式和替代算子
机译:通过应用值和规则来确定提议的逻辑定理,这些值和规则是根据布尔公式生成的三元组
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。