Logic programming : formal methods and practical applications /

Bibliographic Details

Other Authors:	Beierle, Christoph, 1954-, Plümer, Lutz
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1995.
Series:	Studies in computer science and artificial intelligence ; 11.
Subjects:	Logic programming.