Книга "Logic-Based Program Synthesis and Transformation. 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers".
Logic-Based Program Synthesis and Transformation. 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Peter J. Stuckey, Fred Mesnard (книга)
Подробная информация о книге «Logic-Based Program Synthesis and Transformation. 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Peter J. Stuckey, Fred Mesnard». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Logic-Based Program Synthesis and Transformation. 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Peter J. Stuckey, Fred Mesnard»
