Logic programming
Subtitle: formal methods and practical applications
By: edited by Christoph Beierle, Lutz Plümer.
Contributors: Beierle, Christoph, 1954-; Plümer, Lutz.
Series: Studies in computer science and artificial intelligence ;; 11
Publisher: Elsevier
Published: 1995
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 404
Subjects: Logic programming.; Formal methods (Computer science)
Notes: Includes bibliographical references.