01902cam a2200325 a 4500999001700000003000900017005001700026008004100043020001800084040002800102082001500130090002300145100002600168240004700194245013200241260004400373300001800417500019100435504003600626650002400662650003700686650002200723700005900745942001200804952015200816952015200968952015201120952015201272952015201424  c16871d16871BR-ReIFE20200711150451.0070820t2007    spba   gr     001 0 por u  a9788522104994  aBR-ReIFEbporcBR-ReIFE04a004bS618i  a004bS618ic2. ed.1 aSipser, Michael9146010aIntroduction 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ção9712 4aComplexidade computacional91461 4aInformática9191 aQueiroz, Ruy José Guerra Barreto de.91462etradutor  2ddccLV  00102ddc40718NFICa009b009cAGd2009-02-12eComprag59.90i205625l0o004 S618ip8564139562r2019-09-04 00:00:00tex. 1v59.90w2012-10-02yLV  00102ddc40708NFICa009b009cAGd2009-02-12eComprag59.90i205626l0o004 S618ip8564139563r2019-11-05 00:00:00tex. 2v59.90w2012-10-02yLV  00102ddc40708NFICa009b009cAGd2009-02-12eComprag59.90i205627l0o004 S618ip8564139564r2019-11-05 00:00:00tex. 3v59.90w2012-10-02yLV  00102ddc40708NFICa009b009cAGd2009-02-12eComprag59.90i205628l0o004 S618ip8564139565r2019-11-05 00:00:00tex. 4v59.90w2012-10-02yLV  00102ddc40708NFICa009b009cAGd2009-02-12eComprag59.90i205629l0o004 S618ip8564139566r2019-11-05 00:00:00tex. 5v59.90w2012-10-02yLV