Logic program synthesis and transformation
Subtitle: 7th international workshop, LOPSTR'97, Leuven, Belgium, July, 10-12, 1997 : proceedings
By: Norbert E. Fuchs.
Contributors: Fuchs, N. E.; International Workshop on Logic Program Synthesis and Transformation, (7th : 1997 : Leuven, Belgium)
Series: Lecture notes in computer science -- 1463
Publisher: Springer
Published: 1998
Place of publication: Berlin; London
Language: eng
Number of pages: 342
Subjects: Logic programming -- Congresses.
Notes: Includes bibliographical references and indexes.