Automata and computability /

Automata and computability / / Dexter C. Kozen.

Saved in:
Bibliographic Details
Superior document:Undergraduate texts in computer science
VerfasserIn:
Kozen, Dexter, 1951-
Place / Publishing House:New York : : Springer,, 1997.
Year of Publication:1997
Language:English
Series:Undergraduate texts in computer science.
Online Access:
Physical Description:1 online resource (406 pages).
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5003076071
ctrlnum (MiAaPQ)5003076071
(Au-PeEL)EBL3076071
(CaPaEBR)ebr10919890
(OCoLC)969642822
collection bib_alma
record_format marc
spelling Kozen, Dexter, 1951- author.
Automata and computability / Dexter C. Kozen.
New York : Springer, 1997.
1 online resource (406 pages).
text rdacontent
computer rdamedia
online resource rdacarrier
Undergraduate texts in computer science
Includes bibliographical references and index.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Machine theory.
Computable functions.
Electronic books.
Print version: Kozen, Dexter. Automata and computability. New York : Springer, 1997 xiii, 400 pages ; 24 cm. Undergraduate texts in computer science 9781461273097 (DLC) 96037409
ProQuest (Firm)
Undergraduate texts in computer science.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3076071 Click to View
language English
format eBook
author Kozen, Dexter, 1951-
spellingShingle Kozen, Dexter, 1951-
Automata and computability /
Undergraduate texts in computer science
author_facet Kozen, Dexter, 1951-
author_variant d k dk
author_role VerfasserIn
author_sort Kozen, Dexter, 1951-
title Automata and computability /
title_full Automata and computability / Dexter C. Kozen.
title_fullStr Automata and computability / Dexter C. Kozen.
title_full_unstemmed Automata and computability / Dexter C. Kozen.
title_auth Automata and computability /
title_new Automata and computability /
title_sort automata and computability /
series Undergraduate texts in computer science
series2 Undergraduate texts in computer science
publisher Springer,
publishDate 1997
physical 1 online resource (406 pages).
isbn 9781461218449 (e-book)
9781461273097
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA267
callnumber-sort QA 3267 K69 41997
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3076071
illustrated Not Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3
dewey-sort 3511.3
dewey-raw 511.3
dewey-search 511.3
oclc_num 969642822
work_keys_str_mv AT kozendexter automataandcomputability
status_str n
ids_txt_mv (MiAaPQ)5003076071
(Au-PeEL)EBL3076071
(CaPaEBR)ebr10919890
(OCoLC)969642822
hierarchy_parent_title Undergraduate texts in computer science
is_hierarchy_title Automata and computability /
container_title Undergraduate texts in computer science
_version_ 1792330841935839233
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01734nam a2200433 i 4500</leader><controlfield tag="001">5003076071</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">961104s1997 nyu ob 001 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0387949070 (hardcover : alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781461273097</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461218449 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003076071</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3076071</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10919890</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)969642822</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA267</subfield><subfield code="b">.K69 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kozen, Dexter,</subfield><subfield code="d">1951-</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata and computability /</subfield><subfield code="c">Dexter C. Kozen.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York :</subfield><subfield code="b">Springer,</subfield><subfield code="c">1997.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (406 pages).</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Undergraduate texts in computer science</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Machine theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Kozen, Dexter.</subfield><subfield code="t">Automata and computability.</subfield><subfield code="d">New York : Springer, 1997</subfield><subfield code="h">xiii, 400 pages ; 24 cm.</subfield><subfield code="k">Undergraduate texts in computer science</subfield><subfield code="z">9781461273097</subfield><subfield code="w">(DLC) 96037409 </subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Undergraduate texts in computer science.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3076071</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items