書換え系の性質の形式的検証に関する研究
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 背景･目的
p1
1.2 論文の構成
p3
2 書換え系
p5
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
- Title Transcription
- カキカエケイ ノ セイシツ ノ ケイシキテキ ケンショウ ニ カンスル ケンキュウ
- Author/Editor
- 能登正人 [著]
- Author Heading
- 能登, 正人 ノト, マサト
- Degree grantor/type
- 北海道大学
- Date Granted
- 平成8年3月25日
- Date Granted (W3CDTF)
- 1996
- Dissertation Number
- 甲第3856号
- Degree Type
- 博士 (工学)