The stable model semantics for logic programming

• GELFOND M.

収録刊行物

• Proc. 5th International Conf. & Symp. on Logic Programming, 1988

  Proc. 5th International Conf. & Symp. on Logic Programming, 1988 1988

  MIT Press

詳細情報

• CRID: 1572261550510052992
• NII論文ID: 10021837113
• データソース種別:
  • CiNii Articles