Applications of Protected Circumscription

  • Authors:
  • Jack Minker;Donald Perlis

  • Affiliations:
  • -;-

  • Venue:
  • Proceedings of the 7th International Conference on Automated Deduction
  • Year:
  • 1984

Quantified Score

Hi-index 0.00

Visualization

Abstract