Padawitz, Peter — Computing in horn clause theories

Springer, Berlin 1988. regulär ausgesondertes Bibliotheksexemplar mit der üblichen Signatur und Stempel, keine Markierungen-Anstreichungen-Stempel im Text, kartoniert, Format groß 8°, 332 Seiten, makellos, wie neu --------- hardcover, 332 pages, Library-Ex. with usual signature and stamps, no marks and underlines, the book is in a very good condition