退出
我的积分:
中文文献批量获取
外文文献批量获取
潘斌; 郭红霞;
成都理工大学信息管理学院;
四川成都610059;
成都大学电子信息工程学院;
四川成都610106;
并行算法; 定理证明; 前向推理; 主从模式; 性能量度;
机译:几何定理机器证明的强正常升列分解算法
机译:基于超混沌的LMF算法在并行机器人机制中求解前向位移的算法
机译:用于机器人前向动力学计算的高效并行算法
机译:使用动态几何和自动推理工具查找和证明规则多边形中的新几何定理
机译:不同证明策略对学习几何定理证明的影响。
机译:机械化推理的策略:评论米尔纳(1984)使用机器协助严格证明
机译:集成逻辑和代数推理的几何定理证明
机译:前向链并行推理。
机译:基于计算机的推理引擎装置及其整合后向推理和前向推理的方法
机译:通过将三元组存储在源表中,并将源表提供给并行触发推理规则的推理引擎/推理机,来生成推断的三元组
机译:用于集成后向链接和前向链接推理的基于计算机的推理引擎设备及其方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。