退出
我的积分:
中文文献批量获取
外文文献批量获取
朱建平;
苏州大学 政治与公共管理学院;
江苏 苏州215123;
亚里士多德的三段论; 自然演绎系统; 公理系统;
机译:在亚里士多德的自然演绎和一阶逻辑之间建立联系
机译:用于直觉和经典模态逻辑的无标签自然演绎系统
机译:纳尔逊超常逻辑及其邻居的自然演绎系统
机译:亚里士多德三段论的演绎系统
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:科学与方法:亚里士多德自然科学理论的解释
机译:直觉子结构逻辑的自然演绎系统及其强规范化(重写系统理论及其应用)
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:演绎推理系统,用于响应来自多个系统传感器的信号来解决复杂的命题逻辑问题
机译:演绎系统,演绎设备,演绎方法和计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。