Search results for: Johan Jeuring
Journal of Computer Assisted Learning > 37 > 2 > 319 - 332
Journal of Computer Assisted Learning > 35 > 5 > 620 - 632
Digital Experiences in Mathematics Education > 2018 > 4 > 2-3 > 139-162
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 273-287
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 148-174
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 196-211
Lecture Notes in Computer Science > Approaches and Applications of Inductive Programming > Regular Papers > 93-116
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 159-178
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 315-330