00847nam a22002171 4500 1/18606 020121s1995 enk 1 eng d 0444820922 19146 DLC GR-PeUP 005.115 LO Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Plumer Amsterdam : Elsevier, 1995 xiv, 404 p. : ill. ; 25 cm. Studies in computer science and artificial intelligence ; Includes bibliographical references Logic Programming. Beierle, Christoph, 1954- ed. Plumer, Lutz, 1951- ed. Studies in computer science and artificial intelligence ; 11 INST UNIPILB MAIN 20040709 005.115 LO 00137922 00137922 LOAN 4 20040519 1