Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series)

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series)

by Bruce Pomeranz (Contributor), Bruce Pomeranz (Contributor), Peter Padawitz (Author)

$64.49

Save:$4.44 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 340
Edition: Softcover reprint of the original 1st ed. 1988
Publisher: Springer Berlin Heidelberg
Published: 01 Jan 1988

ISBN 10: 3642738265
ISBN 13: 9783642738265