退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模态命题逻辑的模态Horn子句可满足性的计算复杂性
Chen Cheng-Chia; Lin I-Peng;
机译:基本模态逻辑中的可满足性与有限可满足性
机译:模态逻辑计算特性,复杂性和方法论的一步式设计
机译:命题模态K_(m)可满足性的优化决策程序评估
机译:0-1定律无法满足命题模态逻辑的框架可满足性
机译:模特量化和模态逻辑的比较
机译:肽能性和非肽能性伤害感受器的模态特异性贡献体现在背角伤害反应神经元水平
机译:关于模态Horn子句可满足性的复杂性的说明
机译:通用提议模态逻辑定理证明装置
机译:提议模态逻辑模型的特征生成装置
机译:命题模态逻辑定理证明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。