退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于缺陷推理工具分析的一级逻辑基准测试
Abdelraouf Hecham; Madalina Croitoru; Pierre Bisquert;
机译:合理和相关语义下无法描述逻辑εL_⊥-计算标准推理中的推理
机译:关于概念逻辑的说明和作用典型性,在本体上不可避免的推理
机译:通过自适应逻辑博弈对不可行的推理进行建模
机译:用于无法推理工具分析的一阶逻辑基准
机译:一种基于假设的事实维护系统的理论设计的方法,用于可废止的推理。
机译:用于专家握力曲线分析的传感器:达到基准测试以手动控制用于手术工具移动的机器人设备
机译:关于描述逻辑的缺陷推理的KLM视角
机译:可行性推理中基准问题的插值
机译:一种推理推理工具,用于基于数据驱动模型和基于知识的逻辑的混合来推荐操作。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。