author = { Bruynooghe, Maurice },

title = { Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers },

publisher = {Springer},

isbn = {9783540259381},

isbn = {3540221743},

isbn = {9783540221746},

keywords = { Logic design , Computer logic. , Mathematical logic. , Computer science , Artificial intelligence , Computer programming. , Software engineering. , Machine theory. , Logic programming Congresses , Logische Programmierung , Programmsynthese , Programmtransformation , Computational logic },

year = {2004},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science ; 3018},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }