%0 Generic
%T Logic Based Program Synthesis and Transformation 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
%A Bruynooghe, Maurice
%I Springer Berlin Heidelberg
%@ 9783540221746
%K Artificial intelligence
%K Computer science
%K Logic design
%K Computer Science
%K Konferenzschrift 2003 Uppsala
%K Logische Programmierung
%K Programmsynthese
%K Programmtransformation
%K Computational logic
%D 2004
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation