00978nam0-22003491i-450-99000149180040332120091110114407.00-534-94728-X000149180FED01000149180(Aleph)000149180FED0100014918020020301d1997----km-y0itay50------baengUSa---a---001yyIntroduction to the theory of computationMichael SipserBoston (Mass.)PWSc1997xv, 396 p.ill.24 cmTeoria computazionaleTeoria delle macchineComplessità computazionaleLogica matematica511.321Sipser,Michael66386ITUNINARICAUNIMARCBK990001491800403321511.3-SIP-11184SC1SC1Introduction to the theory of computation377869UNINA