Description: Computing in Horn clause theories /

Main Author:	Padawitz, Peter, 1953-
Format:	Book
Language:	English
Published:	Berlin : Springer-Verlag, c1988.
Subjects:	Logic programming Horn clauses

Physical Description:	xi, 322 p. : ill. ; 26 cm.
Bibliography:	Includes bibligraphy and index.
ISBN:	0354019274