様相記号統一化による様相論理定理証明器の研究
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
論文目録
目次
p2
1 はじめに
p1
1.1 本研究の背景
p1
1.2 従来の研究
p1
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Title Transcription
- ヨウソウ キゴウ トウイツカ ニ ヨル ヨウソウ ロンリ テイリ ショウメイキ ノ ケンキュウ
- Author/Editor
- 端山毅 [著]
- Author Heading
- 端山, 毅 ハヤマ, タケシ
- Degree grantor/type
- 東京工業大学
- Date Granted
- 平成4年3月26日
- Date Granted (W3CDTF)
- 1992
- Dissertation Number
- 甲第2466号
- Degree Type
- 工学博士