退出
我的积分:
中文文献批量获取
外文文献批量获取
董英东;
毕节学院逻辑与文化研究中心;
西南大学逻辑与智能研究中心;
模态逻辑; 转换结构; 典范模型; 有穷模型性; 赋值模型; 朴素模型; 完全性; 加标转换;
机译:超模态逻辑理论:模态逻辑中的模式转换
机译:三维量子逻辑转换为模态逻辑
机译:因果结构中的广义模态逻辑
机译:通过在局部定量的模拟模态逻辑中通过转换进行衍生性
机译:路易斯酸基相互作用。第一部分:氢键系统的频率转换-焓相关性的扩展和局限性。第二部分:E和C相关性的扩展和完善。
机译:血管紧张素转换酶抑制在高血压治疗中的潜力和局限性
机译:标称转换系统的模态逻辑
机译:模态逻辑和属性值结构
机译:交互介质中逻辑结构的生产机理及其局限性
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:功率转换器连续模式的局限性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。