LEADER 01128nam0-2200361li-450 
001 990000246780203316
005 20180312154616.0
010   $a0-201-53082-1
035   $a0024678
035   $aUSA010024678
035   $a(ALEPH)000024678USA01
035   $a0024678
100   $a2001994091994-------y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aComputational complexity$fChristos H. Papadimitriou
210   $aReading (Mass.) [etc.]$cAddison-Wesley$d 1994
215   $aXV, 523 p.$cill.$d24 cm
610 1 $acomplessita' computazionale
676   $a511.3$9Logica simbolica (Logica matematica)
700  1$aPapadimitriou,$bChristos$0291381
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000246780203316
951   $a511.3 PAP$b16129/CBS$c511.3$d00218430
959   $aBK
969   $aSCI
979   $c19940914
979   $c20001110$lUSA01$h1715
979   $c20020403$lUSA01$h1633
979   $aPATRY$b90$c20040406$lUSA01$h1618
979   $aRSIAV6$b90$c20090423$lUSA01$h0857
996   $aComputational complexity$9144774
997   $aUNISA