TY  - BOOK
AU  - Hill,Patricia M.
TI  - Logic based program synthesis and transformation : : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 
SN  - 3540326545
U1  - 005.15 
PY  - 2006///
CY  - Berlin, New York
PB  - Springer Publishing
KW  - Logic based program synthesis
KW  - Logic based program transformation
KW  - Logic programming
KW  - Congresses
N1  - Includes index
ER  -