大学入試における数列の問題を解くための自動推論とその実装について

Web Site オープンアクセス

書誌事項

タイトル別名
  • ダイガク ニュウシ ニ オケル スウレツ ノ モンダイ オ トク タメ ノ ジドウ スイロン ト ソノ ジッソウ ニ ツイテ
  • An automated deduction and its implementation for solving problems of sequence at university entrance examination
  • 数学ソフトウェアとその効果的教育利用に関する研究
  • スウガク ソフトウェア ト ソノ コウカテキ キョウイク リヨウ ニ カンスル ケンキュウ

この論文をさがす

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ