01615nam2-2200421li-450 99000020755020331620180312154821.03-540-61697-70020755USA010020755(ALEPH)000020755USA01002075520001109d1996----km-y0itay0103----baengGWDesign and implementation of symbolic computation systemsInternational symposium, DISCO '96: Karlsruhe, Germany, September 18-20, 1996proceedingsJacques Calmet ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996IX, 356 p.ill.25 cmLecture notes in computer science112800100202642001Lecture notes in computer sciencecongressikarlsruhe1996elaborazione elettronicamodelli matematicicongressi1996004Elab. dei dati Scienza degli elab. InformaticaCALMET,JacquesInternational symposium DISCO'96Karlsruhe1996753724Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207550203316001 LNCS (1128)001977800100103902BKSCI1997070620001110USA011714ALANDI9020010201USA01133220020403USA011628PATRY9020040406USA011615FIORELLA9020070402USA011432Design and implementation of symbolic computation systems1516268UNISA