Author:
Heeren Bastiaan,Jeuring Johan
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Aspinall, D., Denney, E., Lüth, C.: Tactics for hierarchical proof. Mathematics in Computer Science 3(3), 309–330 (2010)
2. Baars, A.I., Löh, A., Swierstra, S.D.: Parsing permutation phrases. Journal of Functional Programming 14, 635–646 (2004)
3. Beeson, M.J.: Design principles of MathPert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)
4. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science 37, 77–121 (1985)
5. Bundy, A.: The use of explicit plans to guide inductive proofs. In: International conference on automated deduction, pp. 111–120 (1988)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Feedback services for stepwise exercises;Science of Computer Programming;2014-08
2. A Programming Tutor for Haskell;Central European Functional Programming School;2012