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 logic1501998UNISA01047nam0 22002771i 450 UON0045293520231205105051.2196-935190-1-920150415d2006 |0itac50 baengPK|||| 1||||Sea monsters and the sun godTravels in Pakistan[Salman Rashid]LahoreSang-e-Meel Publications2006240 p.ill.29 cmPAKISTANDESCRIZIONE E VIAGGIUONC087267FIPKLahoreUONL000599SI VIII BSUBCONT. INDIANO - GEOGRAFIA VIAGGIARASHIDSalmanUONV226530714026Sang-i-MilUONV249176650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00452935SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI SI VIII B 130 N SI 13411 7 130 N Sea monsters and the sun god1323489UNIOR