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

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

New
Paperback
2012
$78.48

$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

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

New

$78.48

$78.48

More Information