Program development in computational logic
Subtitle: a decade of research advances in logic-based program development
By: Maurice Bruynooghe, Kung-Kiu Lau (eds.).
Contributors: Bruynooghe, M.; Lau, K.-K. 1953-
Series: Lecture notes in computer science,; 3049; Lecture notes in computer science.
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 538
Subjects: Logic programming; Computer logic
Notes: Also issued online.
Includes bibliographical references and index.