01522nam0-2200445li-450 99000024680020331620180312154631.00-12-206382-10024680USA010024680(ALEPH)000024680USA0100246802001994091994-------y0itay0103----baengUSComputability, complexity and languagesfundamentals of theoretical computer scienceMartin D. Davis, Ron Sigal, ElaineJ. Weyuker2nd edBoston [etc.]Adademic Presscopyr. 1994XVIII, 609 p.ill.24 cm. - (Computer science and scientific computing)complessita' computazionalelinguaggi formaliteoria delle macchine5113Logica simbolica (Logica matematica)Davis,Martin D.745778Sigal,RonWeyuker,Elaine J.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000246800203316511.3 DAV16075/CBS511.300216384BKSCI1994092720001110USA01171520020403USA011633PATRY9020040406USA011618RSIAV69020090420USA011353RSIAV69020090420USA011353RSIAV69020090420USA011354Computability, complexity and languages1487678UNISA