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

Monographs

von Peter Padawitz

Taschenbuch

ISBN: 978-3-642-73826-5

ISBN-10: 3-642-73826-5

Springer Berlin Heidelberg · 1988
Siehe auch:
1988Gebundene AusgabeComputing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series)
1988HardcoverComputing in Horn Clause Theories (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)