Author books / Книги автора Manuel V. Hermenegildo Pedro Lopez-Garcia (editors) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Manuel V. Hermenegildo Pedro Lopez-Garcia (editors)

book Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

pdf

Author: Manuel V. Hermenegildo Pedro Lopez-Garcia (editors)
Language: English
Year: 2017

00

29.01.2024

0

0