Author Raatz, Stan
Title Graph-based proof procedures for horn clauses / Stan Raatz
Imprint Boston : Birkha├╝ser, 1990
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.63 R33 1990    AVAILABLE    30340200248239
Descript 147 p. : ill. ; 25 cm
Series Progress in computer science and applied logic ; v. 10
Note Includes bibliographical references (p. [142]-147)
Subject Logic programming
Horn clauses
Graph theory