Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series): 4

More Information

Format: Paperback
Pages: 228
Edition: Softcover reprint of the original 1st ed. 1996
Publisher: Springer
Published: 31 Jul 2012
ISBN 10: 9401072515
ISBN 13: 9789401072519