-
1
-
-
0004102787
-
-
Lawrence Erlbaum Associates, Hillsdale
-
Anderson, J. R.: Rules of the Mind. Lawrence Erlbaum Associates, Hillsdale (1993).
-
(1993)
Rules of the Mind
-
-
Anderson, J.R.1
-
2
-
-
0000796225
-
Cognitive tutors: Lessons learned
-
Anderson J. R., Corbett A. T., Koedinger K. R., Pelletier R.: Cognitive tutors: lessons learned. J. Learn. Sci. 4(2), 167-207 (1995).
-
(1995)
J. Learn. Sci.
, vol.4
, Issue.2
, pp. 167-207
-
-
Anderson, J.R.1
Corbett, A.T.2
Koedinger, K.R.3
Pelletier, R.4
-
3
-
-
0022775150
-
The automated tutoring of introductory computer programming
-
Anderson J. R., Skwarecki E.: The automated tutoring of introductory computer programming. Commun. ACM 29(9), 842-849 (1986).
-
(1986)
Commun. ACM
, vol.29
, Issue.9
, pp. 842-849
-
-
Anderson, J.R.1
Skwarecki, E.2
-
4
-
-
0006803685
-
Design principles of Mathpert: Software to support education in algebra and calculus
-
N. Kajler (Ed.), New York: Springer
-
Beeson M. J.: Design principles of Mathpert: software to support education in algebra and calculus. In: Kajler, N. (eds) Computer-Human Interaction in Symbolic Computation., pp. 89-115. Springer, New York (1998).
-
(1998)
Computer-Human Interaction in Symbolic Computation.
, pp. 89-115
-
-
Beeson, M.J.1
-
5
-
-
77949655935
-
-
Boon, P., Drijvers, P.: Algebra en applets, leren en onderwijzen (algebra and applets, learning and teaching, in Dutch). http://www. fi. uu. nl/publicaties/literatuur/6571. pdf (2005).
-
(2005)
Algebra en applets, leren en onderwijzen (algebra and applets, learning and teaching, in Dutch)
-
-
Boon, P.1
Drijvers, P.2
-
7
-
-
0018235476
-
Diagnostic models for procedural bugs in basic mathematical skills
-
Brown J. S., Burton R. R.: Diagnostic models for procedural bugs in basic mathematical skills. Cogn. Sci. 2, 155-192 (1978).
-
(1978)
Cogn. Sci.
, vol.2
, pp. 155-192
-
-
Brown, J.S.1
Burton, R.R.2
-
8
-
-
85005432084
-
Repair theory: A generative theory of bugs in procedural skills
-
Brown J. S., VanLehn K.: Repair theory: a generative theory of bugs in procedural skills. Cogn. Sci. 4, 379-426 (1980).
-
(1980)
Cogn. Sci.
, vol.4
, pp. 379-426
-
-
Brown, J.S.1
Vanlehn, K.2
-
10
-
-
84974442619
-
The use of explicit plans to guide inductive proofs
-
Bundy, A.: The use of explicit plans to guide inductive proofs. In: Conference on Automated Deduction, pp. 111-120 (1988).
-
(1988)
Conference on Automated Deduction
, pp. 111-120
-
-
Bundy, A.1
-
11
-
-
84884370072
-
A critique of proof planning
-
(Kowalski Festschrift), LNAI
-
Bundy, A.: A critique of proof planning. In: Computat. Logic (Kowalski Festschrift), LNAI, vol. 2408 (2002).
-
(2002)
Computat. Logic
, vol.2408
-
-
Bundy, A.1
-
12
-
-
77952876916
-
Aplusix, a learning environment for algebra, actual use and benefits
-
Retrieved, May
-
Chaachoua, H., et al.: Aplusix, a learning environment for algebra, actual use and benefits. In: ICME 10: 10th International Congress on Mathematical Education, 2004. Retrieved http://www. itd. cnr. it/telma/papers. php, May 2008.
-
(2008)
ICME 10: 10th International Congress on Mathematical Education, 2004
-
-
Chaachoua, H.1
-
13
-
-
51049122054
-
Interactive learning and mathematical calculus
-
Cohen, A., Cuypers, H., Jibetean, D., Spanbroek, M.: Interactive learning and mathematical calculus. In: Mathematical Knowledge Management (2005).
-
(2005)
Mathematical Knowledge Management
-
-
Cohen, A.1
Cuypers, H.2
Jibetean, D.3
Spanbroek, M.4
-
14
-
-
51049089464
-
Interactive mathematical documents on the web
-
Springer, New York
-
Cohen, A., Cuypers, H., Barreiro, E. R., Sterk, H.: Interactive mathematical documents on the web. In: Algebra, Geometry and Software Systems, pp. 289-306. Springer, New York (2003).
-
(2003)
Algebra, Geometry and Software Systems
, pp. 289-306
-
-
Cohen, A.1
Cuypers, H.2
Barreiro, E.R.3
Sterk, H.4
-
15
-
-
77952880988
-
-
Paper presented at the math tutoring: Tools and feedback symposium organized by the surf foundation and the joining educational mathematics network (JEM), Heerlen, The Netherlands
-
Corbalan, G., Paas, F.: Learning and motivational effects of different forms of feedback in linear algebra problems. Paper presented at the math tutoring: tools and feedback symposium organized by the surf foundation and the joining educational mathematics network (JEM), Heerlen, The Netherlands (2008).
-
(2008)
Learning and motivational effects of different forms of feedback in linear algebra problems
-
-
Corbalan, G.1
Paas, F.2
-
16
-
-
34247365585
-
Strongly typed rewriting for coupled software transformation
-
Cunha A., Visser J.: Strongly typed rewriting for coupled software transformation. Electron. Notes Theor. Comput. Sci. 174(1), 17-34 (2007).
-
(2007)
Electron. Notes Theor. Comput. Sci.
, vol.174
, Issue.1
, pp. 17-34
-
-
Cunha, A.1
Visser, J.2
-
18
-
-
77952880643
-
-
Freudenthal Institute: Digital math environment
-
Freudenthal Institute: Digital math environment. http://www. fi. uu. nl/dwo (2004).
-
(2004)
-
-
-
19
-
-
67650562358
-
Constructing strategies for programming
-
In: Cordeiro, J., Shishkov, B., Verbraeck, A., Helfert, M. (eds.)
-
Gerdes, A., Heeren, B., Jeuring, J.: Constructing strategies for programming. In: Cordeiro, J., Shishkov, B., Verbraeck, A., Helfert, M. (eds.) Proceedings CSEDU'09: 1st International Conference on Computer Supported Education, pp. 65-72 (2009).
-
(2009)
Proceedings CSEDU'09: 1st International Conference on Computer Supported Education
, pp. 65-72
-
-
Gerdes, A.1
Heeren, B.2
Jeuring, J.3
-
20
-
-
67650532706
-
Feedback Services for Exercise Assistants
-
In: Remenyi, D. (ed.), Academic Publishing Limited
-
Gerdes, A., Heeren, B., Jeuring, J., Stuurman, S.: Feedback Services for Exercise Assistants. In: Remenyi, D. (ed.) The Proceedings of the 7th European Conference on e-Learning, pp. 402-410. Academic Publishing Limited (2008).
-
(2008)
The Proceedings of the 7th European Conference on e-Learning
, pp. 402-410
-
-
Gerdes, A.1
Heeren, B.2
Jeuring, J.3
Stuurman, S.4
-
23
-
-
33746380693
-
-
PhD thesis, Hildesheim University, Fortschritt-Berichte VDI Reihe 10, Informatik/Kommunikationstechnik; 605. VDI, Düsseldorf
-
Hennecke, M.: Online Diagnose in intelligenten mathematischen Lehr-Lern-Systemen (in German). PhD thesis, Hildesheim University, Fortschritt-Berichte VDI Reihe 10, Informatik/Kommunikationstechnik; 605. VDI, Düsseldorf (1999).
-
(1999)
Online Diagnose in intelligenten mathematischen Lehr-Lern-Systemen (in German)
-
-
Hennecke, M.1
-
24
-
-
38349050150
-
Comparing approaches to generic programming in Haskell
-
In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.), LNCS, Springer, New York
-
Hinze, R., Jeuring, J., Löh, A.: Comparing approaches to generic programming in Haskell. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) Datatype-Generic Programming, LNCS, vol. 4719, pp. 72-149. Springer, New York (2007).
-
(2007)
Datatype-Generic Programming
, vol.4719
, pp. 72-149
-
-
Hinze, R.1
Jeuring, J.2
Löh, A.3
-
25
-
-
33746339205
-
Handling errors in mathematical formulas
-
In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.), LNCS, Springer, New York
-
Horacek, H., Wolska, M.: Handling errors in mathematical formulas. In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.) ITS 2006, LNCS, vol. 4053, pp. 339-348. Springer, New York (2006).
-
(2006)
ITS 2006
, vol.4053
, pp. 339-348
-
-
Horacek, H.1
Wolska, M.2
-
26
-
-
0001082611
-
Building domain-specific embedded languages
-
Hudak, P.: Building domain-specific embedded languages. ACM Comput. Surv. 28A(4), 17 (1996).
-
(1996)
ACM Comput. Surv.
, vol.28 A
, Issue.4
, pp. 17
-
-
Hudak, P.1
-
27
-
-
84974183714
-
Higher-order functions for parsing
-
Hutton G.: Higher-order functions for parsing. J. Funct. Program. 2(3), 323-343 (1992).
-
(1992)
J. Funct. Program.
, vol.2
, Issue.3
, pp. 323-343
-
-
Hutton, G.1
-
29
-
-
77952883725
-
Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003
-
see also
-
Jones, S. P., et al.: Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003. A special issue of the Journal of Functional Programming. see also http://www. haskell. org/.
-
A special issue of the Journal of Functional Programming
-
-
Jones, S.P.1
-
30
-
-
0141650650
-
Scrap your boilerplate: A practical approach to generic programming
-
TLDI'03
-
Lämmel, R., Jones, S. P.: Scrap your boilerplate: a practical approach to generic programming. ACM SIGPLAN Not. 38(3), 26-37. TLDI'03 (2003).
-
(2003)
ACM SIGPLAN Not
, vol.38
, Issue.3
, pp. 26-37
-
-
Lämmel, R.1
Jones, S.P.2
-
31
-
-
9644289909
-
-
Draft; Available, Accessed 15 Oct 2002
-
Lämmel, R., Visser, E., Visser, J.: The Essence of Strategic Programming, 18 pp.; Draft; Available http://www. cwi. nl/~ralf. Accessed 15 Oct 2002.
-
The Essence of Strategic Programming
, pp. 18
-
-
Lämmel, R.1
Visser, E.2
Visser, J.3
-
32
-
-
51049101585
-
An interactive tool for manipulating logical formulae
-
In: Manzano, M., Lancho, B. P., Gil, A. (eds.)
-
Lodder, J., Jeuring, J., Passier, H.: An interactive tool for manipulating logical formulae. In: Manzano, M., Lancho, B. P., Gil, A. (eds.) Proceedings of the Second International Congress on Tools for Teaching Logic (2006).
-
(2006)
Proceedings of the Second International Congress on Tools for Teaching Logic
-
-
Lodder, J.1
Jeuring, J.2
Passier, H.3
-
33
-
-
79551652864
-
Using ideas in teaching logic, lessons learned
-
Lodder, J., Passier, H., Stuurman, S.: Using ideas in teaching logic, lessons learned. In: Computer Science and Software Engineering, International Conference, vol. 5, pp. 553-556 (2008).
-
(2008)
Computer Science and Software Engineering, International Conference
, vol.5
, pp. 553-556
-
-
Lodder, J.1
Passier, H.2
Stuurman, S.3
-
34
-
-
77952882043
-
-
National Research Council: How People Learn-Brain, Mind, Experience, and School. National Academy Press (2000)
-
National Research Council: How People Learn-Brain, Mind, Experience, and School. National Academy Press (2000).
-
-
-
-
35
-
-
45149092271
-
Feedback in an interactive equation solver
-
In: Seppälä, M., Xambo, S., Caprotti, O. (eds.), WebALT 2006, Oy WebALT Inc
-
Passier, H., Jeuring, J.: Feedback in an interactive equation solver. In: Seppälä, M., Xambo, S., Caprotti, O. (eds.) Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, pp. 53-68. Oy WebALT Inc. (2006).
-
(2006)
Proceedings of the Web Advanced Learning Conference and Exhibition
, pp. 53-68
-
-
Passier, H.1
Jeuring, J.2
-
37
-
-
38849132612
-
iTasks: Executable specifications of interactive work flow systems for the web
-
New York
-
Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: ICFP '07, pp. 141-152, New York (2007).
-
(2007)
ICFP '07
, pp. 141-152
-
-
Plasmeijer, R.1
Achten, P.2
Koopman, P.3
-
39
-
-
84957545443
-
Deterministic, error-correcting combinator parsers
-
In: Launchbury, J., Meijer, E., Sheard, T. (eds.), Springer, New York
-
Swierstra, S. D., Duponcheel, L.: Deterministic, error-correcting combinator parsers. In: Launchbury, J., Meijer, E., Sheard, T. (eds.) Advanced Functional Programming, LNCS, vol. 1129, pp. 184-207. Springer, New York (1996).
-
(1996)
Advanced Functional Programming, LNCS
, vol.1129
, pp. 184-207
-
-
Swierstra, S.D.1
Duponcheel, L.2
-
41
-
-
0001994665
-
Training for reflective expertise: A four-component instructional design model for complex cognitive skills
-
van Merriënboer J. J. G., Jelsma O., Paas F. G. W. C.: Training for reflective expertise: a four-component instructional design model for complex cognitive skills. Educ. Technol. Res. Dev. 40(2), 23-43 (1992).
-
(1992)
Educ. Technol. Res. Dev.
, vol.40
, Issue.2
, pp. 23-43
-
-
van Merriënboer, J.J.G.1
Jelsma, O.2
Paas, F.G.W.C.3
-
43
-
-
0031606558
-
Building program optimizers with rewriting strategies
-
Visser, E., Benaissa, Z. A., Tolmach, A.: Building program optimizers with rewriting strategies. In: ICFP '98, pp. 13-26 (1998).
-
(1998)
ICFP '98
, pp. 13-26
-
-
Visser, E.1
Benaissa, Z.A.2
Tolmach, A.3
-
44
-
-
33746341482
-
Supporting tutorial feedback to student help requests and errors in symbolic differentiation
-
In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.), Springer, New York
-
Zinn, C.: Supporting tutorial feedback to student help requests and errors in symbolic differentiation. In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.) ITS 2006, LNCS, vol. 4053, pp. 349-359. Springer, New York (2006).
-
(2006)
ITS 2006, LNCS
, vol.4053
, pp. 349-359
-
-
Zinn, C.1
|