TY  - BOOK
AU  - Bruynooghe,Maurice
ED  - LOPSTR 2003
TI  - Logic based program synthesis and transformation: 13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers 
SN  - 3540221743
AV  - QA76.63 I58 2004
PY  - 2004///
CY  - Berlin
PB  - Springer Verlag
KW  - Programación lógica
KW  - Congresos
ER  -