ISBN 0273087185 books & textbook

A Many-Sorted Calculus Based on Resolution and Paramodulation

Morgan Kaufmann /1987-01-01 Paperback / 168 Pages
isbn-10: 0273087185 / isbn-13: 9780273087182