Logic Programming
Subtitle: Formal Methods and Practical Applications (Studies in Computer Science and Artificial Intelligence)
Contributors: Lutz Plumer (Editor)
Publisher: Elsevier Publishing Company
Published: December 1, 1994
Language: eng
Number of pages: 418
ISBN-13: 9780444820921