退出
我的积分:
中文文献批量获取
外文文献批量获取
陈炎萍;
安徽合肥市肥东县实验小学 231600;
课堂演绎; 形式选择; 角色演绎; 课本剧演绎; 游戏互动; 拓展演绎;
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:精通函数式编程和类型论形式化的计算与演绎教学基础
机译:面向工作流的软件模型基于演绎的形式验证的系统
机译:星期六。 Comms。谈学校vith形式
机译:爸爸妈妈的婚姻:探索跨越形式边界以演绎无法解释的故事。
机译:FBXW7α有一个转化的调节功能并显示具体的改动在人类癌症的新型多重选择性剪接形式
机译:增强意识的任务与演绎方法:向伊朗高中英语学习者教授语法的两种形式形式的教学类型
机译:逻辑形式和几何内容对空间演绎推理的影响
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:以书面,数学或会计的形式发展到纸上谈兵。
机译:阻尼器形式燃料的演绎相机
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。