Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
論文目録
Contents
p2
1 Introduction
p3
1.1 Cut-elimination and lengths of propositional calculi
p3
1.2 Automatic theorem proving and the lengths of proofs
p4
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
- 博士論文
- Author/Editor
- 新井紀子 [著]
- Author Heading
- 著者 : 新井, 紀子, 1962- アライ, ノリコ, 1962- ( 00689750 )Authorities
- Alternative Title
- 命題論理における証明の長さの研究 メイダイ ロンリ ニ オケル ショウメイ ノ ナガサ ノ ケンキュウ
- Degree grantor/type
- 東京工業大学
- Date Granted
- 平成9年3月31日
- Date Granted (W3CDTF)
- 1997
- Dissertation Number
- 乙第3021号
- Degree Type
- 博士 (理学)