A unified approach to semantics of multi-valued logic programs and an implemention of Boolean-valued case 多値論理プログラムの統一的意味論とブール値付き論理プログラムの実装
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
A unified approach to semantics of multi-valued logic programs and an implemention of Boolean-valued case
- Other Title
-
多値論理プログラムの統一的意味論とブール値付き論理プログラムの実装
- Author
-
森下, 真一
- Author(Another name)
-
モリシタ, シンイチ
- University
-
東京大学
- Types of degree
-
理学博士
- Grant ID
-
乙第9597号
- Degree year
-
1990-02-22
Note and Description
博士論文
Table of Contents
- 目次 (4コマ目)