01514nam2-2200409li-450 99000020973020331620180312154710.03-540-65074-10020973USA010020973(ALEPH)000020973USA01002097320001109d1998----km-y0itay0103----baengGWLogic program synthesis and transformation7th international workshop, LOPSTR'97 Leuven, Belgium, July 10-12, 1997 proceedingsNorbert E. Fuchs (ed.)Berlin [etc.]Springer-Verlagcopyr. 1998X, 342 p.ill.20 cmLecture notes in computer science146300100202642001Lecture notes in computer sciencecongressileuven1997elaboratori elettroniciprogrammazionecongressi19970051Programmazione. Tecnica di sviluppo dei programmiFuchs,Norbert E.International whorkshop LOPSTR'977.1998 , Leuven746262Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209730203316001 LNCS (1463)002278500100104136BKSCI1998112920001110USA011714ALANDI9020010207USA01090420020403USA011629PATRY9020040406USA011615Logic program synthesis and transformation1489271UNISA