Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series): 4
by Z. Stachniak, Alan Bundy
ISBN 13: 9789401072519
Format: Paperback (228 pages) Publisher: Springer Published: 31 Jul 2012
Save for later