01368nam--2200385---45--9900004988202033163-540-42127-00049882USA010049882(ALEPH)000049882USA01004988220010611d2001----km-y0ITAy0103-------baENGDELogic based program synthetis and transformation10th International workshop, LOPSTR 2000London, UK, July 24-28, 2000selected papersKung-Kiu Lau (ed.)Berlin [etc.]Springer-Verlagcopyr. 2001VIII, 181 p.ill.20 cmLecture notes in computer science20422001Lecture notes in computer science2042Programmazione logicaCongressi2000CongressiLondra2000005.1Lau,Kung-KiuInternational workshop, LOPSTR <10. ; 2000 ; London ; UK>545723ITACBSISBD990000498820203316001 LNCS (2042)0026424 CBS00100104802BKSCIALANDI9020010611USA010958ALANDI9020010703USA01105920020403USA011658PATRY9020040406USA011635Logic based program synthetis and transformation887593UNISA