博士論文

Conjunctive normal forms and weak model logics without the axiom of necessity

博士論文を表すアイコン

Conjunctive normal forms and weak model logics without the axiom of necessity

国立国会図書館請求記号
UT51-59-E747
国立国会図書館書誌ID
000000206271
資料種別
博士論文
著者
大濱茂生 [著]
出版者
-
出版年
-
資料形態
ページ数・大きさ等
-
授与大学名・学位
名古屋大学,理学博士
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

書誌情報

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

資料種別
博士論文
著者・編者
大濱茂生 [著]
著者標目
大濱, 茂生 オオハマ, シゲオ
数量
並列タイトル等
積標準形と必然性公理をもたない弱い様相論理 セキ ヒョウジュンケイ ト ヒツゼンセイ コウリ オ モタナイ ヨワイ ヨウソウ ロンリ
授与機関名
名古屋大学
授与年月日
昭和59年1月31日
授与年月日(W3CDTF)
1984
報告番号
乙第2503号