博士論文

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

Icons representing 博士論文

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

Call No. (NDL)
UT51-59-F495
Bibliographic ID of National Diet Library
000000199308
Material type
博士論文
Author
山口高平 [著]
Publisher
-
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
Name of awarding university/degree
大阪大学,工学博士
View All

Notes on use

Note (General):

博士論文

Search by Bookstore

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.

Paper

Material Type
博士論文
Title Transcription
ジュツゴ ロンリガタ ショリ システム ノ コウソクカ ニ カンスル ケンキュウ
Author/Editor
山口高平 [著]
Author Heading
山口, 高平 ヤマグチ, タカヒラ
Extent
Degree grantor/type
大阪大学
Date Granted
昭和59年3月24日
Date Granted (W3CDTF)
1984
Dissertation Number
甲第3102号