Northeastern University, Boston, USA;
机译:入门编程学习中采用不同教学方法的微世界:编程知识和逻辑推理的影响
机译:通过计算机编程发展数学逻辑推理:以基础教育学生计算机编程奥林匹克为例
机译:从基于知识的程序到基于信念的分级程序,第一部分:在线推理* sup>
机译:阴影编程:使用词汇加入点信息的推理
机译:PaniniJ:在Java中添加了胶囊编程抽象,为并发程序设计中的模块化推理提供语言支持。
机译:上瘾违规者的高度结构化治疗计划:比较推理和康复计划的影响和DBT-F
机译:在面向方面的程序中加入点接口以进行模块化推理