非古典論理の証明論-直観主義部分構造論理の自然演繹体系と証明支援システムの構築
著者
書誌事項
非古典論理の証明論-直観主義部分構造論理の自然演繹体系と証明支援システムの構築
毛利元彦, 2002.3
- タイトル読み
-
ヒコテン ロンリ ノ ショウメイロン チョッカン シュギ ブブン コウゾウ ロンリ ノ シゼン エンエキ タイケイ ト ショウメイ シエン システム ノ コウチク
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
博士論文(北陸先端科学技術大学院大学, 2002, 博情第89号)