Reihe Monographs in Theoretical Computer Science. An EATCS SeriesPeter Padawitz × Computing in Horn Clause Theories Peter PadawitzSpringer BerlineBook201253,49 € Computing in Horn Clause Theories Peter PadawitzSpringer BerlinSoftcover201153,49 €
