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
Search by Bookstore
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
- 中原, 早生 ナカハラ, ハヤオ
- Alternative Title
- 証明とプログラム : プログラム抽出の自然な一手法 ショウメイ ト プログラム : プログラム チュウシュツ ノ シゼンナ イチ シュホウ
- Degree grantor/type
- 東京大学
- Date Granted
- 昭和63年12月19日
- Date Granted (W3CDTF)
- 1988
- Dissertation Number
- 乙第9072号
- Degree Type
- 理学博士