退出
我的积分:
中文文献批量获取
外文文献批量获取
王廷明;
青岛大学;
命题公式; 主范式; 真度; 有效度; 相似度;
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:关于n值R 0 inf>命题逻辑推理的分级方法
机译:命题逻辑中搜索算法的研究及其在生物发光层析成像中的应用。
机译:水合脂质双层中水的振动光谱。二。在不同理论近似值下的二维红外和峰位移观测值
机译:基于第二篇 - 后沃斯近似的有效一体理论中的能量图和有效度量
机译:用于实时控制的模糊逻辑推理处理器:第二代全定制设计
机译:防篡改非易失性存储器件,包括运算电路,该运算电路在操作中基于至少一部分电阻值信息来计算二进制参考值;读电路,在操作中基于该电阻值信息来选择性地分配二进制参考值,每个电阻值信息的两个值之一以及在操作中执行与存储单元中两个值之一相对应的写操作的写电路
机译:广告有效度确定方法,广告有效度确定系统和广告有效度确定程序
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。