LEADER 01143nam0-2200373li-450 001 990000248470203316 005 20180312154834.0 010 $a0-387-98600-6 035 $a0024847 035 $aUSA010024847 035 $a(ALEPH)000024847USA01 035 $a0024847 100 $a20001109d1999----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $aDescriptive complexity$fNeil Immerman 210 $aNew York$cSpringer$dcopyr. 1999 215 $aXVI, 268 p.$cill.$d24 cm. - (Graduate texts in computer science) 610 1 $aalgoritmi 610 1 $acomplessita' computazionale 676 $a00512$9Svuluppo dei programmi 700 1$aImmerman,$bNeil$0727310 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000248470203316 951 $a005.12 IMM$b0024203$c005.12$d00106431 959 $aBK 969 $aSCI 979 $c19990103 979 $c20001110$lUSA01$h1715 979 $aALANDI$b90$c20010320$lUSA01$h1149 979 $c20020403$lUSA01$h1633 979 $aPATRY$b90$c20040406$lUSA01$h1618 996 $aDescriptive complexity$91424245 997 $aUNISA