01575nam2-2200421li-450 99000020680020331620180312154844.03-540-60939-30020680USA010020680(ALEPH)000020680USA01002068020001109d1996----km-y0itay0103----baengGWLogic program synthesis and transformation0th International workshop, LOPSTR'95 Utrecht, the Netherlands, September 1995proceedingsMaurizio Proietti (ed.)Berlin [etc.]Springer-Verlagcopyr. 1996X, 266 p.ill.23 cmLecture notes in computer science104800100202642001Lecture notes in computer sciencecongressiutrecht1996elaboratori elettroniciprogrammazionecongressi1991logica matematicacongressi19960051Programmazione. Tecnica di sviluppo dei programmiProietti,MaurizioInternational workshop LOPSTR'955.Utrecht1995754254Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206800203316001 LNCS (1048)001900900100103839BKSCI1996060920001110USA011714ALANDI9020010201USA01102420020403USA011628PATRY9020040406USA011615Logic program synthesis and transformation1517629UNISA