LEADER 01209nam0-2200397li-450 001 990000249300203316 005 20180312154642.0 010 $a3-540-64196-3 035 $a0024930 035 $aUSA010024930 035 $a(ALEPH)000024930USA01 035 $a0024930 100 $a20001109d1998----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aDNA computing$enew computing paradigms$fGheorghe Paun, Grzegorz Rozenberg$gArto Salomaa 210 $aBerlin [etc.]$cSpringer Verlag$dcopyr. 1998 215 $aIX, 402 p.$cill.$d24 cm 610 1 $aelaborazione elettronica 610 1 $alinguaggi formali 610 1 $ateoria delle macchine 676 $a5113$9Logica simbolica (Logica matematica) 700 1$aPaun,$bGheorghe$062709 702 1$aRozenberg,$bGrzegorz 702 1$aSalomaa,$bArto 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000249300203316 951 $a511.3 PAU$b0023508 959 $aBK 969 $aSCI 979 $c19990508 979 $c20001110$lUSA01$h1715 979 $c20020403$lUSA01$h1633 979 $aPATRY$b90$c20040406$lUSA01$h1618 996 $aDNA computing$91488373 997 $aUNISA