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

More Information

Format: Paperback
Pages: 308
Edition: Softcover reprint of the original 1st ed. 1997
Publisher: Springer
Published: 31 Jul 2012
ISBN 10: 3642644732
ISBN 13: 9783642644733