本文へ移動

博士論文

述語論理型処理システムの高速化に関する研究

博士論文を表すアイコン

述語論理型処理システムの高速化に関する研究

国立国会図書館請求記号
UT51-59-F495
国立国会図書館書誌ID
000000199308
資料種別
博士論文
著者
山口高平 [著]
出版者
-
授与年月日
昭和59年3月24日
資料形態
紙
ページ数・大きさ等
-
授与機関名・学位
大阪大学,工学博士
すべて見る

資料に関する注記

一般注記：

博士論文

書店で探す

書店で探す

書店で探す

書誌情報

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

紙

資料種別
博士論文
タイトル
述語論理型処理システムの高速化に関する研究
タイトルよみ
ジュツゴ ロンリガタ ショリ システム ノ コウソクカ ニ カンスル ケンキュウ
著者・編者
山口高平 [著]
著者標目
山口, 高平 ヤマグチ, タカヒラ
数量
冊
授与機関名
大阪大学
授与年月日
昭和59年3月24日
授与年月日（W3CDTF）
1984
報告番号
甲第3102号