Zum Inhalt springen Gabbrielli, Maurizio [HerausgeberIn] Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - [1st ed. 2020.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020. Erschienen in: Theoretical Computer Science and General Issues ; 12042- Springer eBook Collection
Gabbrielli, Maurizio [HerausgeberIn] Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - [1st ed. 2020.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020. Erschienen in: Theoretical Computer Science and General Issues ; 12042- Springer eBook Collection
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Person/Institution Skip to next facet Gabbrielli, Maurizio (1) Wert ausschließen zeige weitere weniger zeigen