Logic based program synthesis and transformation
Subtitle: 10th international workshop, LOPSTR 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
Published: 2001
Place of publication: New York
Language: eng
Number of pages: 181
Subjects: Logic programming -- Congresses
Genres: Congresses.
Other titles: LOPSTER 2000.