On computer aided mathematical reasoning
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
論文目録
Contents
p2
0. Introduction
p1
1. Preliminaries
p7
1.1 Reduction system
p7
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
- 博士論文
- Author/Editor
- 坂井公 [著]
- Author Heading
- 坂井, 公, 1953- サカイ, コウ, 1953- ( 01234546 )Authorities
- Alternative Title
- コンピュータによる数学的論証の支援について コンピュータ ニ ヨル スウガクテキ ロンショウ ノ シエン ニ ツイテ
- Degree grantor/type
- 東京工業大学
- Date Granted
- 平成2年11月30日
- Date Granted (W3CDTF)
- 1990
- Dissertation Number
- 乙第2120号
- Degree Type
- 理学博士