退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有非确定性语义的模态逻辑:第I部分 - 命题案例
Marcelo E Coniglio; Fariñas Del Cerro Luis; Marques Peron Newton;
机译:具有命题常数的模态逻辑族的统一语义
机译:具有评估语法的命题模糊模态逻辑的语义及其在模糊决策中的应用
机译:二阶命题模态逻辑的语义分析
机译:模特量化和模态逻辑的比较
机译:量子态的非确定性语义
机译:具有非确定性语义的模态逻辑:第二部分量化案例
机译:正态模态命题逻辑的后续计算
机译:通用提议模态逻辑定理证明装置
机译:提议模态逻辑模型的特征生成装置
机译:命题模态逻辑定理证明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。