退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:重写模态命题逻辑的规则系统
Foret Annie;
机译:命题模态逻辑上下文受限的超继规则
机译:没有完整的线性术语重写系统,用于命题逻辑
机译:格子模态命题逻辑:绅士扣除系统G(L)的分配和模块化
机译:引诱模式逻辑S5系统中的改善破坏性扩展规则
机译:模特量化和模态逻辑的比较
机译:基于规则的免疫指南逻辑的不同版本的系统维护
机译:没有完整的用于命题逻辑的线性术语重写系统
机译:正态模态命题逻辑的后续计算
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:通用提议模态逻辑定理证明装置
机译:提议模态逻辑模型的特征生成装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。