A Many-Sorted Calculus Based on Resolution and Paramodulation

by

  • Publisher: Morgan Kaufmann

  • Print ISBN: 9780273087182, 0273087185

  • eText ISBN: 9781483258935, 1483258939

  • Copyright year: 1987

A Many-Sorted Calculus Based on Resolution and Paramodulation Edition by Christoph Walther and Publisher Morgan Kaufmann. Save up to 80% by choosing the eTextbook option for ISBN: 9781483258935, 1483258939. The print version of this textbook is ISBN: 9780273087182, 0273087185.