ISBN 9783642644733 books & textbook

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

Leitsch, Alexander

Springer /2011-09-28 Paperback / 308 Pages
isbn-10: 3642644732 / isbn-13: 9783642644733