Logic based program synthesis and transformation
Subtitle: 10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers
By: Kung-Kiu Lau (ed.).
Contributors: Lau, K.-K. 1953-
Series: Lecture notes in computer science -- 2042.
Publisher: Springer
Place of publication: Berlin; New York
Number of pages: 181
Subjects: Logic programming -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.