退出
我的积分:
中文文献批量获取
外文文献批量获取
杨德平;
黄冈师专图书馆;
一致连续; 否定命题; 否定形式; 合式公式; 一致收敛; 不连续; 逻辑基础; 绝对收敛; 假言三段论规则; 变元;
机译:某些命题逻辑中的双重否定消除
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:Horn命题命题逻辑中基于Petri网的证明算法
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:一些命题逻辑中的双重否定消除
机译:命题模态逻辑的矩阵定理证明器的实现
机译:从命题逻辑证明可满足逻辑公式的加密手段
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。