01510nam2-2200409li-450 99000020474020331620180312154623.03-540-57272-40020474USA010020474(ALEPH)000020474USA01002047420001109d1993----km-y0itay0103----baengGWDesign and implementation of symbolic computation systemsInternational symposium DISCO'92 :Bath, U.K. April 13-15, 1992proceedingsJohn Fitch (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993214 p.ill.24 cmLecture notes in computer science72100100202642001Lecture notes in computer sciencecongressibath1992elaborazione elettronicamodelli matematicicongressi1992004Elab. dei dati Scienza degli elab. InformaticaFitch,JohnInternational symposium DISCO'92Bath1992745678Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204740203316001 LNCS (721)001544100100102967BKSCI1994120120001110USA011714ALANDI9020010129USA01170320020403USA011628PATRY9020040406USA011615Design and implementation of symbolic computation systems1487530UNISA