Resolution Proof Systems
Subtitle: An Algebraic Theory
Publisher: Springer
Published: Nov 03, 2011
Format: paperback
Number of pages: 228
ISBN-13: 9789400916784
Notes: Source title: Resolution Proof Systems: An Algebraic Theory