LKからNKへの証明の書き換えについて

スポンサーリンク

概要

• 論文の詳細を見る
• 東京都立産業技術高等専門学校の論文

著者

• 中西 泰雄

  東京都立産業技術高等専門学校一般科

関連論文

• シーケントを用いた証明計画法
• 背理法を用いない証明について
• LKからNKへの証明の書き換えについて
• 証明図の新しい書式について
• 座標を持つ集合上のdifferentialの導入法
• NKに直結したシーケンス体系について
• 分析タブローの新しい書式について
• 節形式化と導出原理による自動証明の新しい表現法
• 証明の発見過程の表現法について
• NKに基づいた新しい証明表記法
• ユークリッド空間における解析の基礎

もっと見る 閉じる

スポンサーリンク