Logic-based program synthesis and transformation
Subtitle: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
By: Annalisa Bossi (ed.).
Contributors: Bossi, Annalisa, 1948-
Series: Lecture notes in computer science -- 1817.
Publisher: Springer
Published: 2000
Place of publication: Berlin; New York
Language: eng
Number of pages: 312
Subjects: Logic programming -- Congresses
Genres: Congresses.
Other titles: LOPSTR'99.
Notes: Includes bibliographical references and index.