LEADER 01536nam2-2200409li-450 001 990000203720203316 005 20180312154736.0 010 $a3-540-57235-X 035 $a0020372 035 $aUSA010020372 035 $a(ALEPH)000020372USA01 035 $a0020372 100 $a20001109d1993----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aDesign and implementation of symbolic computation systems$eInternational symposium DISCO'93 :Gmunden, Austria, September 15-17,1993$eproceedings$fAlfonso Miola (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1993 215 $aXI, 383 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v722 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$agmunden$a1993 610 1 $aelaborazione elettronica$amodelli matematici$acongressi$a1993 676 $a004$9Elab. dei dati Scienza degli elab. Informatica 702 1$aMiola,$bAlfonso 710 12$aInternational symposium DISCO'93$eGmunden$f1993$0747253 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000203720203316 951 $a001 LNCS (722)$b0015442$c001$d00102966 959 $aBK 969 $aSCI 979 $c19941201 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010129$lUSA01$h1705 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aDesign and implementation of symbolic computation systems$91492558 997 $aUNISA