学位論文要旨
No
209597
著者（漢字）
森下,真一
著者（英字）
著者（カナ）
モリシタ,シンイチ
標題（和）
多値論理プログラムの統一的意味論とブール値付き論理プログラムの実装
標題（洋）
A Unified Approach to Semantics of Multi-Valued Logic Programs and anlmplemention of Boolean-Valued Case
報告番号
209597
報告番号
乙09597
学位授与日
1990.02.22
学位種別
論文博士
学位種類
理学博士
学位記番号
第9597号
研究科
専攻
論文審査委員
─：
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク