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

Access this Article

Author(s)

Journal

  • Proceedings of the Joint Meeting of PME 38 and PME-NA 36

    Proceedings of the Joint Meeting of PME 38 and PME-NA 36 (4), 225-232, 2014

    PME

Codes

  • NII Article ID (NAID)
    120006666469
  • Text Lang
    ENG
  • Article Type
    conference paper
  • Data Source
    IR 
Page Top