述語論理型処理システムの高速化に関する研究 ジュツゴ ロンリ ガタ ショリ システム ノ コウソクカ ニ カンスル ケンキュウ
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
述語論理型処理システムの高速化に関する研究
- タイトル別名
-
ジュツゴ ロンリ ガタ ショリ システム ノ コウソクカ ニ カンスル ケンキュウ
- 著者名
-
山口, 高平
- 著者別名
-
ヤマグチ, タカヒラ
- 学位授与大学
-
大阪大学
- 取得学位
-
工学博士
- 学位授与番号
-
甲第3102号
- 学位授与年月日
-
1984-03-24
注記・抄録
博士論文