博士論文

A study on logic programming language based on first-order formulae

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

A study on logic programming language based on first-order formulae

国立国会図書館請求記号
UT51-95-Q434
国立国会図書館書誌ID
000000287183
国立国会図書館永続的識別子
info:ndljp/pid/3103049
資料種別
博士論文
著者
元吉文男 [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
筑波大学,博士 (工学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

  • Abstract

  • Contents

    p1

  • 1 Introduction

    p1

  • 1.1 Motivations

    p1

  • 1.2 Research History

    p2

障害者向け資料で読む

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
著者・編者
元吉文男 [著]
著者標目
元吉, 文男, 1951- モトヨシ, フミオ, 1951- ( 00189027 )典拠
並列タイトル等
一階述語論理式によるプログラミング言語の研究 イッカイ ジュツゴ ロンリシキ ニ ヨル プログラミング ゲンゴ ノ ケンキュウ
授与機関名
筑波大学
授与年月日
平成4年3月25日
授与年月日(W3CDTF)
1992
報告番号
乙第780号
学位
博士 (工学)