01557nam2-2200421li-450 99000020749020331620180312154821.03-540-61735-30020749USA010020749(ALEPH)000020749USA01002074920001109d1996----km-y0itay0103----baengGWAlgebraic and logic programming5th International conference, ALP'96Aachen, Germany, September 25-27, 1996proceedingsMichael Hanus ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996VIII, 344 p.ill.23 cmLecture notes in computer science113900100202642001Lecture notes in computer sciencecongressiaachen1996elaboratori elettroniciprogrammazionecongressi1996logica matematicacongressi19960051Programmazione. Tecnica di sviluppo dei programmiHanus,MichaelInternational conference ALP'965.Aachen1996753722Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207490203316001 LNCS (1139)001978100100103911BKSCI1997020720001110USA011714ALANDI9020010201USA01152320020403USA011628PATRY9020040406USA011615Algebraic and logic programming1516266UNISA