J-GLOBAL ID:200902015501599475整理番号:87A0232058
論理型言語におけるCircumscription
Computable circumscription in logic programming.
著者:中川裕志(横浜国大 工)、森辰則(横浜国大 工)
資料名:情報処理学会論文誌 巻:28 号:4 ページ:330-338
発行年:1987年04月
資料名:情報処理学会論文誌 巻:28 号:4 ページ:330-338
発行年:1987年04月