退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论Łukasiewicz的四价典型逻辑的公理化
Marcin Tkaczyk;
机译:论Łukasiewicz的四值模态逻辑
机译:使用模态逻辑公理化混合逻辑
机译:理想帕克科透明度的四价逻辑及其子系统的模态扩展
机译:关于Łukasiewicz逻辑的模态和多模态逻辑之间的关系
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:有限变量在Łukasiewicz逻辑中的统一
机译:论Łukasiewicz逻辑的模态和多模态逻辑的关系
机译:使用四维逻辑量身定制的交互式语言学习系统
机译:使用四值逻辑的互动故事系统
机译:使用四值逻辑量身定制的交互式学习系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。