%0
Book
%T
Logic-based program synthesis and transformation
19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers
%A LOPSTR 19 2009 Coimbra
%A De Schreye, Danny
%A DeSchreye, Danny
%I Springer
%@ 3642125913
%@ 9783642125911
%K Logic programming Congresses
%K Konferenzschrift 2009 Coimbra
%K Logische Programmierung
%K Programmsynthese
%K Programmtransformation
%K Programmierlogik
%K Beweistheorie
%D 2010
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2