退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有命题量词的颞型模态逻辑的道德法和良好
Daniel Rönnedal;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:模态逻辑中的统一插值和命题量词
机译:具有量化命题变量的单时态逻辑
机译:隐式模态量化的命题模态逻辑
机译:模特量化和模态逻辑的比较
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:为什么命题量化使树木的模态逻辑难以努力?
机译:通用提议模态逻辑定理证明装置
机译:提议模态逻辑模型的特征生成装置
机译:命题模态逻辑定理证明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。