Computing in Horn Clause Theories (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
by
Peter Padawitz
Hardcover
details (
USA
).
ISBN: 978-0-387-19427-1
ISBN-10: 0-387-19427-4
Springer Verlag
· 1988
See also:
1988
Gebundene Ausgabe
Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series)
1988
Taschenbuch
Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series (16), Band 16)
