00967cam a2200229 a 4500003000900000005001700009008004100026020001800067040002800085082001500113100002000128240004700148245013200195260004400327300001800371500019100389504003600580650001900616650003100635650001800666700005300684BR-ReIFE20200711150451.0070820t2007    spba   gr     001 0 por u  a9788522104994  aBR-ReIFEbporcBR-ReIFE04a004bS618i1 aSipser, Michael10aIntroduction to the theory of computation.10aIntrodução à teoria da computação /cMichael Sipser ; tradução técnica Ruy José Guerra Barretto de Queiroz. -  aSão Paulo :bThomson Learning,c2007.  a459 p. :bil.  aTítulo original: Introduction to the theory of computation.
Tradução da 2. edição norte-americana.
Esta obra apersenta a teoria da computação por meio de teoremas e provas.  aInclui bibliografia e índice. 4aComputação 4aComplexidade computacional 4aInformática1 aQueiroz, Ruy José Guerra Barreto de.etradutor