Logic based program synthesis and transformation
Subtitle: 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
By: Sandro Etalle (ed.).
Contributors: Etalle, Sandro.
Series: Lecture notes in computer science -- 3573.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 277
Subjects: Logic programming -- Congresses
Genres: Congresses.
Other titles: LOPSTR 2004.
Notes: Includes bibliographical references and index.

Also issued online.