01468nam2-2200409li-450 99000020494020331620180312154737.03-540-55873-X0020494USA010020494(ALEPH)000020494USA01002049420001109d1992----km-y0itay0103----baengGWAlgebraic and logic programmingthird internatioanl conference, Volterra, Italy, September 2-4, 1992proceedingsH. Kirchner ... [et al.] (eds.)Berlin [etc.]Springer-Verlag1992IX, 457 p.ill.25 cmLecture notes in computer science63200100202642001Lecture notes in computer sciencecongressivolterra1992elaboratori elettroniciprogrammazionecongressi1992logica matematicacongressi19920051Programmazione. Tecnica di sviluppo dei programmiKirchner,HélèneSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204940203316001 LNCS (632)001455600100102685BKSCI1992012220001110USA011714ALANDI9020010129USA01093720020403USA011628PATRY9020040406USA011615Algebraic and logic programming1492537UNISA