<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Introdução à teoria da computação</title>
  </titleInfo>
  <titleInfo type="uniform">
    <title>Introduction to the theory of computation</title>
  </titleInfo>
  <name type="personal">
    <namePart>Sipser, Michael</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Queiroz, Ruy José Guerra Barreto de.</namePart>
    <role>
      <roleTerm type="text">tradutor</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">spb</placeTerm>
    </place>
    <place>
      <placeTerm type="text">São Paulo</placeTerm>
    </place>
    <publisher>Thomson Learning</publisher>
    <dateIssued>2007</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">por</languageTerm>
  </language>
  <physicalDescription>
    <extent>459 p. : il.</extent>
  </physicalDescription>
  <targetAudience authority="marctarget">general</targetAudience>
  <note type="statement of responsibility">Michael Sipser ; tradução técnica Ruy José Guerra Barretto de Queiroz. -</note>
  <note>Tí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.</note>
  <note>Inclui bibliografia e índice.</note>
  <subject>
    <topic>Computação</topic>
  </subject>
  <subject>
    <topic>Complexidade computacional</topic>
  </subject>
  <subject>
    <topic>Informática</topic>
  </subject>
  <classification authority="ddc">004 S618i</classification>
  <identifier type="isbn">9788522104994</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">BR-ReIFE</recordContentSource>
    <recordCreationDate encoding="marc">070820</recordCreationDate>
    <recordChangeDate encoding="iso8601">20200711150451.0</recordChangeDate>
    <languageOfCataloging>
      <languageTerm authority="iso639-2b" type="code">por</languageTerm>
    </languageOfCataloging>
  </recordInfo>
</mods>
