01353nam2-2200409li-450 99000020499020331620180312154842.03-540-53912-30020499USA010020499(ALEPH)000020499USA01002049920001109d1991----km-y0itay0103----baengGWAlgebraic methods IItheory, tools and applicationsJ. A. Bergstra (ed.)Berlin [etc.]Springer-Verlagcopyr. 1991VI, 434 p.ill.25 cmLecture notes in computer science49000100202642001Lecture notes in computer scienceelaboratori elettroniciprogrammazionelogica matematicasoftwareprogettazione0051Programmazione. Tecnica di sviluppo dei programmiBergstra,Jan A.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204990203316001 LNCS (490)001382500100102648BKSCI1993030420001110USA011714ALANDI9020010125USA01123620020403USA011628PATRY9020040406USA011615Algebraic methods II1501947UNISA