Download Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers PDF

TitleLogic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
AuthorPeter J. Stuckey
LanguageEnglish
Region
FormatPDF
Pages212
File Size5.1 MB
Total Download1
Similar Free PDFs