SATOH Ken について
National Inst. Informatics and Sokendai, Tokyo, JPN について
New Generation Computing について
論理プログラミング について
法律学 について
情報科学 について
推論 について
法規 について
証明 について
訴訟 について
民法 について
Prolog について
知識表現 について
形式的手法【計算機】 について
論理演算 について
義務 について
失敗による否定 について
法情報学 について
法的推論 について
要件事実論 について
立証責任 について
システムプログラミング一般 について
人工知能 について
その他の情報処理 について
論理プログラミング について
推論 について
立証 について
責任 について