Cover Image

Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers /

Show other versions (1)
Bibliographic Details
Corporate Author: LOPSTR 2003 Uppsala, Sweden
Other Authors: Bruynooghe, M. (Maurice)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3018.
Subjects:
Logic programming > Congresses.
Description
Physical Description:x, 232 pages : figures, tables ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540221743 (pbk.)
ISSN:0302-9743 ;