A study on logic programming language based on first-order formulae
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Abstract
Contents
p1
1 Introduction
p1
1.1 Motivations
p1
1.2 Research History
p2
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
- 元吉, 文男, 1951- モトヨシ, フミオ, 1951- ( 00189027 )Authorities
- Alternative Title
- 一階述語論理式によるプログラミング言語の研究 イッカイ ジュツゴ ロンリシキ ニ ヨル プログラミング ゲンゴ ノ ケンキュウ
- Degree grantor/type
- 筑波大学
- Date Granted
- 平成4年3月25日
- Date Granted (W3CDTF)
- 1992
- Dissertation Number
- 乙第780号
- Degree Type
- 博士 (工学)