退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用准经典逻辑对矛盾信息进行推理
Anthony Hunter;
机译:超一致数据库中的准经典推理
机译:学生信仰在绩效评估中多重矛盾信息的批判性推理时的作用
机译:语义网络中的逻辑逻辑的准古典语义和Tableau微积分
机译:确定性归纳逻辑:用于推理类别的多值逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:准经典逻辑:来自不一致信息的非平凡经典推理
机译:模糊逻辑中的三段论推理及其在处理推理中的应用
机译:用于神经网络和逻辑推理的可扩展和实时可重新配置硬件
机译:逻辑芯片中基于电压对比的故障和故障推理
机译:一种推理推理工具,用于基于数据驱动模型和基于知识的逻辑的混合来推荐操作。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。