F9 幾何の証明問題の解決を支援するCabri-Geometryの利用 : 証明に妥当性を与える手段の分析(F.コンピュータ利用分科会)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク