01263nam2-2200349li-450 99000296184020331620180312154917.03-540-22174-3000296184USA01000296184(ALEPH)000296184USA010002961842002007082003-------y0itay0103----baENGDELogic based Program Synthesis and Transformation13th International symposium, LOPSTR 2003Uppsala, Sweden, August 25-27, 2003Revised Selected PapersMaurice Bruynooghe(ed.)Berlin [etc.]Springercopyr. 2003X, 232 p.ill.24 cmLecture notes in computer science301800100202642001Lecture notes in computer science3018Programmazione logicaCongressiUppsala2003005.1BRUYNOOGHE,MauriceInternational workshop, LOPSTR 2003<13. ;2003 ;Uppsala>754696ITCBSISBD990002961840203316001 LNCS 301831101/CBS00100215306BKSCISENATORE9020070808USA011125Logic based Program Synthesis and Transformation1518815UNISA