Guarded horn clauses ガーデッドホーンクロージズ
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Guarded horn clauses
- タイトル別名
-
ガーデッドホーンクロージズ
- 著者名
-
上田, 和紀
- 著者別名
-
ウエダ, カズノリ
- 学位授与大学
-
東京大学
- 取得学位
-
工学博士
- 学位授与番号
-
甲第7190号
- 学位授与年月日
-
1986-04-17
注記・抄録
博士論文
目次
- 目次 (6コマ目)
Guarded horn clauses
ガーデッドホーンクロージズ
上田, 和紀
ウエダ, カズノリ
東京大学
工学博士
甲第7190号
1986-04-17
博士論文