A Many-Sorted Calculus Based on Resolution and Paramodulation 9780273087182

A Many-Sorted Calculus Based on Resolution and Paramodulation

by Christoph Walther

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.