数学と情報処理-3-対話型証明システムの内部仕様

スポンサーリンク

概要

• 論文の詳細を見る
• 福井工業高等専門学校の論文

著者

• 川端 輔三

  福井高専

関連論文

• 高専-5 数学教材作成のための基礎研究
• 定理の自動証明を指導して
• 数学と情報処理-3-対話型証明システムの内部仕様
• 数学と情報処理-2-対話型証明システムの外部仕様

スポンサーリンク