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
注記・抄録
博士論文
目次
- 目次 (4コマ目)
