Logic-based program synthesis and transformation
Subtitle: 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
By: Germán Puebla (ed.).
Contributors: Puebla, Germán.
Series: Lecture notes in computer science -- 4407
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 235
ISBN-13: 9783540714095
Subjects: Logic programming -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.