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
p5
Abstract
p1
Acknowledgments
p4
Contents
p5
Chapter1 Background and Motivation
p1
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
- 伝説的含意を導入した注釈付き論理プログラミングシステムALPS-HIの設計,実装,応用 デンセツテキ ガンイ オ ドウニュウシタ チュウシャク ツキ ロンリ プログラミング システム ALPS-HI ノ セッケイ , ジッソウ , オウヨウ
- Degree grantor/type
- 九州大学
- Date Granted
- 平成9年3月27日
- Date Granted (W3CDTF)
- 1997
- Dissertation Number
- 甲第4069号
- Degree Type
- 博士 (情報科学)