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
Abstract
p1
Contents
p4
1 Introduction
p1
1.1 Background
p1
1.2 Contributions of the Thesis
p11
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
- 加藤, 暢 カトウ, トオル
- Alternative Title
- 並行論理型プログラミング言語の形式意味論に関する研究 ヘイコウ ロンリガタ プログラミング ゲンゴ ノ ケイシキ イミロン ニ カンスル ケンキュウ
- Degree grantor/type
- 岡山大学
- Date Granted
- 平成9年9月30日
- Date Granted (W3CDTF)
- 1997
- Dissertation Number
- 甲第1681号
- Degree Type
- 博士 (工学)