非古典論理の証明論 : 直観主義部分構造論理の自然演繹体系と証明支援システムの構築

この論文をさがす

著者

    • 毛利, 元彦 モウリ, モトヒコ

書誌事項

タイトル

非古典論理の証明論 : 直観主義部分構造論理の自然演繹体系と証明支援システムの構築

著者名

毛利, 元彦

著者別名

モウリ, モトヒコ

学位授与大学

北陸先端科学技術大学院大学

取得学位

博士 (情報科学)

学位授与番号

甲第156号

学位授与年月日

2002-03-22

注記・抄録

博士論文

Supervisor:小野 寛晰

情報科学研究科

博士

7アクセス

各種コード

  • NII論文ID(NAID)
    500000230970
  • NII著者ID(NRID)
    • 8000000231473
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000004113117
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
ページトップへ