Functions of Open Flow-chart Proving in introductory lessons of formal proving

Abstract

ArticleLiljedahl, P., Oesterle, S., Nicol, C., & Allan, D. (Eds.). (2014). Proceedings of the Joint Meeting of PME 38 and PME-NA 36 (Vol. 4):225-232. Vancouver, Canada: PME.conference pape

    Similar works