The Resolution Calculus
Publisher: Springer
Published: Sep 28, 2011
Format: paperback
Number of pages: 308
ISBN-13: 9783642644733
Notes: Source title: The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)