退出
我的积分:
中文文献批量获取
外文文献批量获取
苑成存;
洛阳大学;
全称量词消去规则; 存在量词消去规则; 量词置换规则;
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:用于直觉和经典模态逻辑的无标签自然演绎系统
机译:纳尔逊超常逻辑及其邻居的自然演绎系统
机译:多值逻辑自然演绎系统的系统构建
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:直觉子结构逻辑的自然演绎系统及其强规范化(重写系统理论及其应用)
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:设计电路系统,扩展现有方法以评估电路设计的可行性,执行电路设计的可行性评估,完善电路设计的第一决策规则,形成电路设计的第二决策规则的方法电路设计,用于为多个预先设计的电路块组织设计者的经验数据,提高胶粘逻辑分配效率,并在设计块之间分配胶粘的多个逻辑元素,并分配胶粘逻辑以在集成电路设备设计中执行方案,转换特定于电路块的接口,选择电路收集器,设计一种包含使能设备测试以验证a正确操作的设备,并开发行为测试台,项圈接口和接口系统
机译:一种促进数学和几何学教学的设备,可用于逻辑推理和演绎中的教与学
机译:量化用于演绎和预测的可测量系统的行为的工具
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。