01513nam2-2200421li-450 99000020401020331620180312154901.03-540-56282-60020401USA010020401(ALEPH)000020401USA01002040120001109d1992----km-y0itay0103----baengGWMeta-programming in logicthird International META-92Uppsala, Sweden, June 1992proccedingsA. Pettorossi (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992XII, 351 p.ill.24 cmLecture notes in computer science64900100202642001Lecture notes in computer sciencecongressiuppsala1992elaboratori elettroniciprogrammazionecongressi1992logica matematicacongressi19920051Programmazione. Tecnica di sviluppo dei programmiPettorossi,AlbertoInternational workshop META-923.Uppsala1992754756Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204010203316001 LNCS (649)001508000100102901BKSCI1994100720001110USA011714ALANDI9020010129USA01105420020403USA011628PATRY9020040406USA011615Meta-programming in logic1518962UNISA