節形式化と導出原理による自動証明の新しい表現法
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人日本数学教育学会の論文
- 2003-08-05
著者
関連論文
- シーケントを用いた証明計画法
- 背理法を用いない証明について
- LKからNKへの証明の書き換えについて
- 証明図の新しい書式について
- 座標を持つ集合上のdifferentialの導入法
- NKに直結したシーケンス体系について
- 分析タブローの新しい書式について
- 節形式化と導出原理による自動証明の新しい表現法
- 証明の発見過程の表現法について
- NKに基づいた新しい証明表記法
- ユークリッド空間における解析の基礎