A Many-Sorted Calculus Based on Resolution and Paramodulation

by

  • Publisher: Morgan Kaufmann
  • Print ISBN: 9780273087182, 0273087185

  • eText ISBN: 9781483258935, 1483258939

  • Copyright year: 1987