退出
我的积分:
中文文献批量获取
外文文献批量获取
李修清;
桂林航天工业学院 理学院,广西 桂林 541004;
真度; 不可靠度; 距离; 逻辑度量空间;
机译:Lukasiewicz n值命题逻辑中公式的真度理论和极限定理
机译:基于CHR(PRISM)的概率逻辑学习
机译:n值Łukasiewicz命题逻辑系统中公式向量表示的真度理论。
机译:使用约束离散优化公式的多保真度分析选择方法。
机译:基于概率的计算观察者间一致性的公式
机译:将分离公式简化为命题逻辑
机译:从命题逻辑论证满意公式的密码学方法
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。