Logic Based Program Synthesis and Transformation | 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers | ISBN 9783540456070

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

herausgegeben von Alberto Pettorossi
Buchcover Logic Based Program Synthesis and Transformation  | EAN 9783540456070 | ISBN 3-540-45607-4 | ISBN 978-3-540-45607-0

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

herausgegeben von Alberto Pettorossi
Includes supplementary material: sn. pub/extras