退出
我的积分:
中文文献批量获取
外文文献批量获取
LI Dechang; 李德昌;
黄河科技学院;
管理学; 势科学; 哲学思想;
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:证伪,自然演绎和双直觉逻辑
机译:双重直觉逻辑的自然演绎
机译:基于标准矛盾分离的一阶逻辑整体演绎框架定理证明
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:从索引的Lax逻辑到直觉逻辑
机译:视光逻辑元素“或” [视光逻辑元素“或”
机译:可编程逻辑控制器,可编程逻辑控制器的单元,可编程逻辑控制器的管理系统,以及可编程逻辑控制器的管理方法
机译:显示研究领域中各种文档之间的逻辑陈述关系
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。