退出
我的积分:
中文文献批量获取
外文文献批量获取
王权威;
电子科技大学;
初等数学; 问题自动求解; 分支; 推理;
机译:推理系统允许自动光学检查:随着推理系统罐-870AI,可以直接在生产环境中实现人工智能
机译:学生数学问题解决能力与基于问题的问题的数学问题求解能力
机译:时间分支时间模型中推理的实现
机译:求解数学问题的学生数学推理能力分析
机译:探索社交推理和自我效能感在中低等SES儿童数学问题解决中的作用。
机译:将Ni3Co纳米粒子固定到N掺杂碳纳米管/纳米纤维集成的分层分支架构中以实现有效的总水分解
机译:求解小学数学问题的学生推理技巧分类
机译:在并行分布式存储器架构上实现全平衡周期三对角求解器
机译:?用于从数学问题中自动提取概念并从一组数学概念中动态构建和测试数学问题的创建的系统?
机译:用于自动提炼数学问题中的概念以及动态构建和测试数学概念集合中的数学问题的系统和方法
机译:网络事件推理中抽象图匹配中的迭代约束求解
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。