De Schreye, Danny. (Eds.) (2010) Logic-based program synthesis and transformation19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers Berlin ; Springer,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Logic-based program synthesis and transformation [electronic resource] : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /
Danny De Schreye (ed.).
|Names:||De Schreye, Danny.|
|Published:||Berlin ; Springer, c2010.|
Lecture notes in computer science ; 6037.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
|Topics:||Logic programming - Congresses.|