01128nam0-2200361li-450 99000024678020331620180312154616.00-201-53082-10024678USA010024678(ALEPH)000024678USA0100246782001994091994-------y0itay0103----baengUSComputational complexityChristos H. PapadimitriouReading (Mass.) [etc.]Addison-Wesley 1994XV, 523 p.ill.24 cmcomplessita' computazionale511.3Logica simbolica (Logica matematica)Papadimitriou,Christos291381Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000246780203316511.3 PAP16129/CBS511.300218430BKSCI1994091420001110USA01171520020403USA011633PATRY9020040406USA011618RSIAV69020090423USA010857Computational complexity144774UNISA