8B-5 前形式的証明に関する一考察(3) : action proofを導入して

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人日本数学教育学会の論文
• 1997-08-01

著者

• 川島 健治

  群馬・館林第十小

関連論文

• 8B-5 前形式的証明に関する一考察(3) : action proofを導入して
• 7B-5 前形式的証明の活用についての一考察 : action proof を導入して

スポンサーリンク