Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
目次
p1
第1章 序論
p1
1.1 本研究の背景と目的
p2
1.2 本論文の構成
p6
第2章 等式論理のための証明順序法
p9
Search by Bookstore
Read in Disability Resources
- プレーンテキスト
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
- 大須賀, 昭彦, 1958- オオスガ, アキヒコ, 1958- ( 00681425 )Authorities
- Degree grantor/type
- 早稲田大学
- Date Granted
- 平成7年3月9日
- Date Granted (W3CDTF)
- 1995
- Dissertation Number
- 乙第1084号
- Degree Type
- 博士 (工学)