ISBN 0273088408 books & textbook

Completeness Confluence and Related Properties of Clause Graph Resolution (Resea

Morgan Kaufmann /1991-07-01 Paperback / 170 Pages
isbn-10: 0273088408 / isbn-13: 9780273088400