01578nam2-2200421li-450 99000021076020331620180312154912.03-540-58792-60021076USA010021076(ALEPH)000021076USA01002107620001109d1994----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 science88300100202642001Lecture notes in computer sciencecongressipisa1994elaboratori elettroniciprogrammazionecongressi1994logica matematicacongressi19940051Programmazione. Tecnica di sviluppo dei programmiFribourg,LaurentTurini,FrancoSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210760203316001 LNCS (883)001743400100103679BKSCI1996011220001110USA011714ALANDI9020010131USA01105720020403USA011629PATRY9020040406USA011615Logic program synthesis and transformation - meta programming in logic1501998UNISA