<?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>Computability, complexity, and languages</title>
    <subTitle>fundamentals of theoretical computer science</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Davis, Martin</namePart>
    <namePart type="date">1928-</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
    <role>
      <roleTerm type="text">author.</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Weyuker, Elaine J.</namePart>
    <role>
      <roleTerm type="text">author.</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <genre authority="marc">bibliography</genre>
  <genre authority="">Electronic books.</genre>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">nyu</placeTerm>
    </place>
    <dateIssued encoding="marc">1983</dateIssued>
    <copyrightDate encoding="marc">1983</copyrightDate>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <extent>1 online resource (448 pages) : illustrations, tables.</extent>
  </physicalDescription>
  <note type="statement of responsibility">Martin D. Davis, Elaine J. Weyuker.</note>
  <note>Includes bibliographical references and index.</note>
  <subject authority="lcsh">
    <topic>Machine theory</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Computational complexity</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Formal languages</topic>
  </subject>
  <classification authority="lcc">QA267 .D38 1983</classification>
  <classification authority="ddc" edition="19">001.64/01</classification>
  <relatedItem type="otherFormat" displayLabel="Print version:">
    <titleInfo>
      <title>Computability, complexity, and languages : fundamentals of theoretical computer science</title>
    </titleInfo>
    <name>
      <namePart>Davis, Martin, 1928-</namePart>
    </name>
    <originInfo>
      <publisher>New York, New York ; London, [England] : Academic Press, c1983 </publisher>
    </originInfo>
    <physicalDescription>
      <extent>xix, 425 pages </extent>
    </physicalDescription>
    <identifier type="local">83002727</identifier>
  </relatedItem>
  <relatedItem type="series">
    <titleInfo>
      <title>Computer science and applied mathematics</title>
    </titleInfo>
  </relatedItem>
  <identifier type="isbn" invalid="yes"/>
  <identifier type="isbn">9781483264585 (e-book)</identifier>
  <identifier type="uri">https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1901552</identifier>
  <location>
    <url>https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1901552</url>
  </location>
  <recordInfo>
    <recordContentSource authority="marcorg">MiAaPQ</recordContentSource>
    <recordCreationDate encoding="marc">150202</recordCreationDate>
    <recordChangeDate encoding="iso8601">20250903230328.0</recordChangeDate>
    <recordIdentifier source="MiAaPQ">EBC1901552</recordIdentifier>
    <languageOfCataloging>
      <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
    </languageOfCataloging>
  </recordInfo>
</mods>
