退出
我的积分:
中文文献批量获取
外文文献批量获取
倪荫林;
河北廊坊武警学院;
命题推理; 真假值; 有效必然性; 演绎推理;
机译:三值命题前粗逻辑中的真度理论和近似推理
机译:三值命题预粗糙逻辑中的真度理论和近似推理
机译:知识库改革:为有效的命题推理准备一阶理论
机译:关于n值R 0 inf>命题逻辑推理的分级方法
机译:遗传学中解决问题能力与编码和推理相关的命题推理的关系
机译:基于幅度的推理不是贝叶斯推理也不是有效的推理方法
机译:知识库改革:为有效命题推理准备一阶理论
机译:解释马丁 - 洛夫在一类自由命题理论中的类型理论
机译:将视频元数据转换为命题图以用于类比推理系统
机译:用于计算机命题推理的方法和数据处理系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。