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

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

by Alexander Leitsch (Author), Alexander Leitsch (Author)

$78.48

Quantity

10 in stock

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