01482nam2-2200409li-450-9900002107602033163-540-58792-60021076USA010021076(ALEPH)000021076USA01002107620001109d1991994-km-y0itay0103----baengGWLogic program synthesis and transformation - meta programming in logic4th International workshopsPisa, Italy, June 20-21, 1994ProceedingsLaurent Fribourg, Franco Turini (eds.)Berlin [etc.]Springer-Verlagcopyr. 1994IX, 450 p.ill.24 cm.Lecture notes in computer science883altro genere00100202642001Lecture notes in computer sciencecongressipisa1994elaboratori elettroniciprogrammazionecongressi1994logica matematicacongressi19940051Programmazione. Tecnica di sviluppo dei programmiFribourg,LaurentTurini,FrancoSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210760203316001 LNCS (883)001743400100103679BKSCI1996011220001110USA011714ALANDI9020010131USA01105720020403USA011629PATRY9020040406USA011615UNISA