%0
Book
%T
Logic based program synthesis and transformation
14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers
%A LOPSTR 14 2004 Verona
%A Etalle, Sandro
%I Springer
%@ 3540266550
%@ 9783540266556
%K Logic programming Congresses
%K Konferenzschrift 2004 Verona
%K Konferenzschrift
%K Logische Programmierung
%K Programmsynthese
%K Programmtransformation
%K Computational logic
%D 2005
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2