退出
我的积分:
中文文献批量获取
外文文献批量获取
张景中;
中科院;
教育技术; 自动推理; 推理规律; 符号计算软件; 教育软件智能平台;
机译:陷入困境的学校获得“ F”,即:将道德运气与教育技术相结合将建立希望
机译:在异步讨论论坛中通过计算机和移动设备结合使用环境进行教育技术的比较研究
机译:21世纪教育技术的设计原则:理论与实践的结合
机译:将交互式推理和自动推理结合在功能程序的一阶理论中
机译:高等教育技术领导性:波多黎各大学里约热柳山校区的案例=高等教育技术领导:港波多黎各大学里约皮里拉斯校区的案例
机译:通过自动推理和评估逻辑定义来改善本体
机译:结合社会教育技术的教育实践:贝拉姆在Caratateua岛上的经验结合社会教育技术的教育实践:贝伦的Caratateua岛上的经验-巴西结合伙伴教育技术的学习教育:贝伦Caratateua岛上的生活-巴西
机译:教育技术的国家战略和实践:第二卷 - 支持教育技术的数学教学
机译:自动推理“ IS-A”关系的方法,以及用于执行在计算机中自动推理“ IS-A”关系的方法的计算机可读记录介质程序
机译:基于机械的教育技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。