退出
我的积分:
中文文献批量获取
外文文献批量获取
郭德民;
商丘师范学院文学院;
河南商丘476000;
李白; 诗歌; 逻辑命题; 逻辑推理;
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:一种用于空间推理的新模态逻辑:空间命题邻域逻辑
机译:n值Lukasiewicz命题逻辑中的分级推理
机译:遗传学中解决问题能力与编码和推理相关的命题推理的关系
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:用逆向解释命题动态逻辑中的知识逻辑
机译:演绎推理系统,用于响应来自多个系统传感器的信号来解决复杂的命题逻辑问题
机译:用于获得命题逻辑表示的规则的归纳推理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。