退出
我的积分:
中文文献批量获取
外文文献批量获取
杨倩; 杨凤;
广东惠州学院马克思主义学院 广东惠州516000;
广州新华学院马克思主义学院 广东广州510520;
讲好中国故事; 马克思主义中国化; 文化自信; 国际传播;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:命题逻辑中逻辑理论一致性的拓扑表征
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:布尔逻辑导数对命题逻辑理论的保守回缩:理论基础
机译:关于命题理论和逻辑程序的简单但困难的随机实例。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:二阶命题逻辑的片段(逻辑和计算结构的证明理论研究)
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:从命题逻辑证明可满足逻辑公式的加密手段
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。