author = { Gabbrielli, Maurizio },

title = { Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers },

edition = { 1st ed. 2020. } ,

publisher = {Springer International Publishing},

publisher = {: Imprint: Springer},

isbn = {9783030452605},

keywords = { Computer logic. , Computer organization. , Computer simulation. , Application software. , Artificial intelligence. , Computer science. , Computer engineering. , Computer networks . , Formale Methode , Logische Programmierung , Programmtransformation , Programmverifikation , Programmsynthese , Konferenzschrift , Maschinelles Lernen },

year = {2020.},

year = {, 2020.},

booktitle = {Theoretical Computer Science and General Issues ; 12042},

booktitle = {Springer eBook Collection},

address = { Cham , ; Cham },

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