Josje Lodder公司
人员信息
优化列表
2020年–今天
2021 [j3] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 , 温迪·内杰胡斯(Wendy Neijenhuis) :
Hilbert式公理证明教程中提示和反馈的生成和使用。 国际艺术杂志。 智力。 教育。 31 ( 1 ) : 99-133 ( 2021 )
2010 – 2019
2019 [注2] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
LogEx中详细反馈和限制反馈的比较,LogEx是一种教授重写逻辑公式的工具。 J.计算。 协助。 学习。 35 ( 5 ) : 620-632 ( 2019 ) 【c4】 Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
在结构归纳辅导系统中提供提示、下一步和反馈。 CADE的ThEdu 2019 : 17-34 2017 【c3】 Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
生成Hilbert-style公理证明的提示和反馈。 SIGCSE公司 2017 : 387-392 2016 [j1] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
命题逻辑领域推理器。 J.大学。 计算。 科学。 22 ( 8 ) : 1097-1122 ( 2016 ) 2015 [i1] Josje Lodder公司 , 巴斯蒂安·希伦 , 约翰·杰林 :
LogEx使用的初步研究,经验教训。 CoRR公司 abs/1507.03671 ( 2015 ) 2011 【c2】 乔斯杰·洛德尔 , 巴斯蒂安·海仁 :
用于证明逻辑公式之间等价性的教学工具。 TICTTL公司 2011 : 154-161
2000 – 2009
2008 【c1】 Josje Lodder公司 , Harrie Passer公司 , 西尔维娅·斯图尔曼 :
在逻辑教学中使用IDEAS,吸取教训。 CSSE(5) 2008 : 553-556