Guarded horn clauses ガーデッドホーンクロージズ

この論文をさがす

著者

    • 上田, 和紀 ウエダ, カズノリ

書誌事項

タイトル

Guarded horn clauses

タイトル別名

ガーデッドホーンクロージズ

著者名

上田, 和紀

著者別名

ウエダ, カズノリ

学位授与大学

東京大学

取得学位

工学博士

学位授与番号

甲第7190号

学位授与年月日

1986-04-17

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000030996
  • NII著者ID(NRID)
    • 8000000031052
  • NDL書誌ID
    • 000000195310
  • データ提供元
    • NDL-OPAC
ページトップへ