Studies on unification in logic programming 論理プログラミングにおける単一化の研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Studies on unification in logic programming
- タイトル別名
-
論理プログラミングにおける単一化の研究
- 著者名
-
山本, 章博
- 著者別名
-
ヤマモト, アキヒロ
- 学位授与大学
-
九州大学
- 取得学位
-
理学博士
- 学位授与番号
-
甲第2646号
- 学位授与年月日
-
1990-03-27
注記・抄録
博士論文
目次
- 目次 (8コマ目)