Resolution theorem proving

  • Authors:

  • Mark E. Stickel

  • Affiliations:

  • SRI International, Menlo Park, CA

  • Venue:
  • Annual review of computer science: vol. 3, 1988
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract