A unified approach to semantics of multi-valued logic programs and an implemention of Boolean-valued case 多値論理プログラムの統一的意味論とブール値付き論理プログラムの実装

この論文をさがす

著者

    • 森下, 真一 モリシタ, シンイチ

書誌事項

タイトル

A unified approach to semantics of multi-valued logic programs and an implemention of Boolean-valued case

タイトル別名

多値論理プログラムの統一的意味論とブール値付き論理プログラムの実装

著者名

森下, 真一

著者別名

モリシタ, シンイチ

学位授与大学

東京大学

取得学位

理学博士

学位授与番号

乙第9597号

学位授与年月日

1990-02-22

注記・抄録

博士論文

各種コード

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