Belaid Benhamou

論理プログラムとブールネットワークのつながりを探って、安定モデルの理解を深める。