TY  - BOOK
AU  - Bossi,Annalisa
ED  - International Workshop on Logic-Based Program Synthesis and Transformation
TI  - Logic-based program synthesis and transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, september 1999 : selected papers 
T2  - Lecture notes in computer science
SN  - 3540676287
AV  - QA76.63 I58 1999
PY  - 2000///
CY  - New York
PB  - Springer Verlag
KW  - Programación lógica
KW  - Congresos
ER  -