本文へ移動
博士論文

Nonclassical logics with identity connective and their algebraic characterization

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

Nonclassical logics with identity connective and their algebraic characterization

国立国会図書館請求記号
UT51-2000-K150
国立国会図書館書誌ID
000000356335
国立国会図書館永続的識別子
info:ndljp/pid/3171145
資料種別
博士論文
著者
石井忠夫 [著]
出版者
-
授与年月日
平成12年3月28日
資料形態
紙・デジタル
ページ数・大きさ等
-
授与機関名・学位
北陸先端科学技術大学院大学,博士 (情報科学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

提供元:国立国会図書館デジタルコレクションヘルプページへのリンク
  • Contents

    p3

  • Abstract

    p1

  • Acknowledgments

    p2

  • 1 Introduction

    p1

  • 1.1 Motivation and history

    p1

障害者向け資料で読む

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
著者・編者
石井忠夫 [著]
著者標目
石井, 忠夫 イシイ, タダオ
並列タイトル等
同一結合子を持つ非古典論理とその代数的特徴付け ドウイツ ケツゴウコ オ モツ ヒコテン ロンリ ト ソノ ダイスウテキ トクチョウズケ
授与機関名
北陸先端科学技術大学院大学
授与年月日
平成12年3月28日
授与年月日(W3CDTF)
2000
報告番号
甲第102号
学位
博士 (情報科学)