01647nam2-2200433li-450 99000020597020331620180312154759.03-540-63459-20020597USA010020597(ALEPH)000020597USA01002059720001109d1997----km-y0itay0103----baengGWAlgebraic and logic programming6th International joint conferenceALP'97-HOA'97Southampton, UK, September 3-5, 1997proceedingsMichael Hanus ... [et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1997X, 286 p.ill.23 cmLecture notes in computer science129800100202642001Lecture notes in computer sciencecongressisouthampton1997elaboratori elettroniciprogrammazionecongressi1997logica matematicacongressi19970051Programmazione. Tecnica di sviluppo dei programmiHanus,MichaelInternational joint conference ALP'976.Southampton1997753246International joint conference HOA3.Southampton1997Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205970203316001 LNCS (1298)002108400100104051BKSCI1998011720001110USA011714ALANDI9020010202USA01160320020403USA011628PATRY9020040406USA011615Algebraic and logic programming1515182UNISA