Computing in horn clause theories
Padawitz, Peter
Computing in horn clause theories - - Berlin Springer-Verlag, 1988 - xi,322 p. 24 cm - .
1
Logic programming
Horn clauses
517.1:681.3.06 Pad
Computing in horn clause theories - - Berlin Springer-Verlag, 1988 - xi,322 p. 24 cm - .
1
Logic programming
Horn clauses
517.1:681.3.06 Pad