退出
我的积分:
中文文献批量获取
外文文献批量获取
梁飞;
中山大学逻辑与认知研究所;
中山大学哲学系;
德摩根代数; 四值逻辑; 时态德摩根逻辑; 关系语义; 显示系统;
机译:关于直觉的模态和时态逻辑及其经典伴随逻辑:拓扑语义和双仿真
机译:具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义
机译:模态和时态逻辑语义先验
机译:通过线性嵌套后继序列进行时态逻辑的句法消除和向后证明搜索
机译:德语时间语义:三维时态逻辑和GPSG片段。
机译:证明语义失语和语义痴呆之间的质量差异:非语言语义加工的新探索
机译:法国的“逻辑”和英国的“逻辑”:关于奥古斯都·德·摩根早期逻辑询问的起源,1805-1835年
机译:时态逻辑定理证明
机译:givarenhet和givarenhet的程序,包括带有模式的科德摩根
机译:带可旋转的纳克劳德·摩根gehaeuse的控制阀
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。