神岡太郎
認知科学と人工知能④ 表象と推論
1986年04月号
認知科学と人工知能⑨ 論理的推論と論理プログラミング
1986年09月号