Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Autor:
Danny De Schreye
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
276.36
lei
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa...