Cover Image

Logic programming : formal methods and practical applications /

Other Authors: Beierle, Christoph,, Plumer, Lutz
Format: Book
Language:English
Published: Amsterdam ; New York : Elsevier, 1995.
Subjects:
Logic programming
Formal methods (Computer science)
Physical Description:xiv, 404 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:0444820922(acidfreepaper)

Similar Items